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

Martin Capek, Pavel Surynek

Browse the full SoCS paper archive.