Combinatorial Optimization by Alexander Schrijver