On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective.

Roman Bartk, Jir Svancara

Browse the full SoCS paper archive.