P. Surynek, “Multi-Agent Path Finding with Continuous Time and Geometric Agents Viewed through Satisfiability Modulo Theories (SMT)”, SOCS, vol. 10, no. 1, pp. 200–201, Sep. 2021.