DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies

Martin Čapek, Pavel Surynek

In multi-agent path finding (MAPF), the task is to find non-conflicting paths for multiple agents from their initial positions to given individual goal positions. MAPF represents a…