@phdthesis{Achterberg2007, author = {Tobias Achterberg}, title = {Constraint Integer Programming}, year = {2007}, }