P. Surynek, “A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints”, SOCS, vol. 3, no. 1, pp. 191–192, Aug. 2021.