Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving.

Pavel Surynek

Browse the full PRICAI paper archive.