Surynek, P. Conceptual Comparison of Compilation-Based Solvers for Multi-Agent Path Finding: MIP Vs. SAT. SOCS 2021, 12, 203-205.