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

Pavel Surynek

Browse the full IJCAI paper archive.