Chen, Z.; Harabor, D. D.; Li, J.; Stuckey, P. J. Symmetry Breaking for K-Robust Multi-Agent Path Finding. AAAI 2021, 35, 12267-12274.