Sum of Costs Optimal Multi-Agent Path Finding with Continuous Time via Satisfiability Modulo Theories.

Pavel Surynek

Browse the full SoCS paper archive.