Surynek, P. Multi-Agent Path Finding With Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT). SOCS 2021, 10, 200-201.