Linear optimization and extensions - Padberg, M. W. (Springer, 1999)