Return to Article Details Sub-Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem Download Download PDF