Integer and Combinatorial Optimization - Nemhauser, George L. ; Wolsey, Laurence A.