Linear optimization and extensions - Padberg, M. W. (Algorithms and combinatorics ;, 1999)