Pohl, Sebastian Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Pohl, S. (2006). Exact Integer Linear Programming with Bounded Variables in a Branch- and Cut Algorithm. Master Thesis, Universität des Saarlandes, Saarbrücken.