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

Pavel Surynek Ariel Felner Roni Stern Eli Boyarski

Published in: ECAI (2016)

Keyphrases

path finding
multi agent
search algorithm
data mining
dynamic environments
np hard
orders of magnitude
phase transition