Exact algorithms for the double vehicle routing problem with multiple stacks