Integer and Combinatorial Optimization (George L. Nemhauser and Laurence A. Wolsey)