E. Lam and P. Le Bodic, “New Valid Inequalities in Branch-and-Cut-and-Price for Multi-Agent Path Finding”, ICAPS, vol. 30, no. 1, pp. 184-192, Jun. 2020.