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

Open in new window