Conflict Handling Framework in Generalized Multi-agent Path finding: Advantages and Shortcomings of Satisfiability Modulo Approach.

Pavel Surynek

Browse the full ICAART paper archive.