Surynek, Pavel. “A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints”. Proceedings of the International Symposium on Combinatorial Search, vol. 3, no. 1, Aug. 2021, pp. 191-2, doi:10.1609/socs.v3i1.18220.