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://doi.org/10.1609/aaai.v35i14.17456.