Review
A Survey of ASP and SAT Encodings for Multi-Agent Pathfinding: Working Abstract
The ongoing work on examining various declarative MAPF encodings from the literature is summarized and some preliminary empirical results are presented, including some preliminary empirical results from Conflict-Based-Search.
Jan Behrens, Philipp Obermeier, Torsten Schaub et al.
· 0 citations