@phdthesis{Achterberg2009, author = {Tobias Achterberg}, title = {Constraint Integer Programming}, year = {2009}, }