Computational combinatorial optimization : optimal or provably near-optimal solutions - Jünger, Michael; Naddef, Denis (Springer, 2001)