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