Chen, Z., D. D. Harabor, J. Li, and P. J. Stuckey. “Symmetry Breaking for K-Robust Multi-Agent Path Finding”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 14, May 2021, pp. 12267-74, https://ojs.aaai.org/index.php/AAAI/article/view/17456.