Surynek, P. 2021. Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT). Proceedings of the International Symposium on Combinatorial Search. 10, 1 (Sep. 2021), 200–201. DOI:https://doi.org/10.1609/socs.v10i1.18490.