Sub-Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem.

Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski

Browse the full SoCS paper archive.