Text this: Integer and combinatorial optimization / George Nemhauser, Laurence Wolsey.