Unifying Search-based and Compilation-based Approaches to Multi-agent Path Finding through Satisfiability Modulo Theories.

Published in: IJCAI (2019)

Keyphrases

path finding
multi agent
search algorithm
search methods
hill climbing
search space
path planning
search strategy
decision trees
reinforcement learning
heuristic search
search strategies
genetic programming
constraint satisfaction
search procedure
tree search