Return to Article Details Sum of Costs Optimal Multi-Agent Path Finding with Continuous Time via Satisfiability Modulo Theories Download Download PDF