https://123dok.org/document/zx50g63o-multi-agent-planning-models-algorithms-complexity.html