Čapek M, Surynek P. DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies. SOCS [Internet]. 2021 Jul. 21 [cited 2026 May 9];12(1):153-5. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/18567