P. Surynek, “Conceptual Comparison of Compilation-Based Solvers for Multi-Agent Path Finding: MIP vs. SAT”, SOCS, vol. 12, no. 1, pp. 203–205, Jul. 2021.