Surynek, P. A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints. SOCS 2021, 3, 191-192.