Linear optimization and extensions - Padberg, Manfred (Springer, 1999)