Asín Achá, Roberto, et al. “A New Boolean Encoding for MAPF and Its Performance With ASP and MaxSAT Solvers”. Proceedings of the International Symposium on Combinatorial Search, vol. 12, no. 1, July 2021, pp. 11-19, doi:10.1609/socs.v12i1.18546.