P. Surynek, “Sum of Costs Optimal Multi-Agent Path Finding with Continuous Time via Satisfiability Modulo Theories”, SOCS, vol. 12, no. 1, pp. 200-202, Jul. 2021.