Integer and combinatorial optimization - Nemhauser, George L.; Wolsey, Laurence A (Wiley Interscience Series in Discrete Mathematics and Optimization, 1999)