Asín Achá, R.; López, R.; Hagedorn, S.; Baier, J. A. A New Boolean Encoding for MAPF and Its Performance With ASP and MaxSAT Solvers. SOCS 2021, 12, 11-19.