Surynek P. Conceptual Comparison of Compilation-Based Solvers for Multi-Agent Path Finding: MIP vs. SAT. SOCS [Internet]. 2021 Jul. 22 [cited 2026 May 29];12(1):203-5. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/18584