Return to Article Details Conceptual Comparison of Compilation-Based Solvers for Multi-Agent Path Finding: MIP vs. SAT Download Download PDF