Surynek, P. A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints. SOCS 2012, 3, 191-192.