Surynek P. A SAT-Based Approach to Cooperative Path-Finding Using All-Different Constraints. SOCS [Internet]. 2021 Aug. 20 [cited 2026 May 27];3(1):191-2. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/18220