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), 191–192. https://doi.org/10.1609/socs.v3i1.18220