Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows.

Edward Lam, Pascal Van Hentenryck

Browse the full CP paper archive.