Shen, B.; Chen, Z.; Li, J.; Cheema, M. A.; Harabor, D. D.; Stuckey, P. J. Beyond Pairwise Reasoning in Multi-Agent Path Finding. ICAPS 2023, 33, 384-392.