M. Čapek and P. Surynek, “DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies”, SOCS, vol. 12, no. 1, pp. 153–155, Jul. 2021.