Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective.

Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski

Browse the full ECAI paper archive.