Conceptual Comparison of Compilation-based Solvers for Multi-Agent Path Finding: MIP vs. SAT.

Pavel Surynek

Browse the full SoCS paper archive.