Lam, E.; Harabor, D. D.; Stuckey, P. J.; Li, J. Exact Anytime Multi-Agent Path Finding Using Branch-and-Cut-and-Price and Large Neighborhood Search. ICAPS 2023, 33, 254-258.