Chen, Zhe, Daniel D. Harabor, Jiaoyang Li, and Peter J. Stuckey. 2021. “Symmetry Breaking for K-Robust Multi-Agent Path Finding”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (14):12267-74. https://ojs.aaai.org/index.php/AAAI/article/view/17456.