Branch-and-cut-and-price for multi-agent path finding

Edward Lam, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey