Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding - A Novel SAT-based Optimal MAPF Solver.

Pavel Surynek, Jiri Svancara, Ariel Felner, Eli Boyarski

Browse the full ICAART paper archive.