Mixed integer programming for multi-vehicle path planning | IEEE Conference Publication | IEEE Xplore