Surynek, P. 2012. A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints. Proceedings of the International Symposium on Combinatorial Search. 3, 1 (Jul. 2012), 191–192. DOI:https://doi.org/10.1609/socs.v3i1.18220.