R. Asín Achá, R. López, S. Hagedorn, and J. A. Baier, “A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers”, SOCS, vol. 12, no. 1, pp. 11–19, Jul. 2021.