A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers.

Roberto Javier Asn Ach, Rodrigo Lpez, Sebastin Hagedorn, Jorge A. Baier

Browse the full SoCS paper archive.