Theory of Linear and Integer Programming by Alexander Schrijver