SMS: Combinatorial optimization : polyhedra and efficiency / Alexander Schrijver.