An exact algorithm for a vehicle routing problem with time windows and multiple use of vehicles