Čapek, M.; Surynek, P. DPLL(MAPF): An Integration of Multi-Agent Path Finding and SAT Solving Technologies. SOCS 2021, 12, 153-155.