Logic-based benders decomposition. (2003)

by J N Hooker, G Ottosson
Venue:Mathematical Programming,