Branch-and-Cut Algorithms for Combinatorial Optimization and Their Implementation in ABACUS.
M. Elf, C. Gutwenger, M. Jünger, und G. Rinaldi. Computational Combinatorial Optimization, Volume 2241 von Lecture Notes in Computer Science, Seite 157-222. Springer, (2001)