Surynek, Pavel. “Multi-Agent Path Finding With Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT)”. Proceedings of the International Symposium on Combinatorial Search, vol. 10, no. 1, Sept. 2021, pp. 200-1, doi:10.1609/socs.v10i1.18490.