Roberto Javier Asín Achá, Rodrigo López, Sebastián Hagedorn, Jorge A. Baier. A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers. In Hang Ma 0001, Ivan Serina, editors, Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021. pages 11-19, AAAI Press, 2021. [doi]
Abstract is missing.