Linear optimization and extensions - Padberg, Manfred (Algorithms and combinatorics ; ;, 1999)