Formulations and Branch-and-Cut Algorithms for Multivehicle Production and Inventory Routing Problems | Synapse