@misc{AchterbergBertholdHeinzetal.2009, author = {Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch and Kati Wolter}, title = {Constraint Integer Programming: Techniques and Applications}, institution = {Humboldt-Universit{\"a}t zu Berlin}, type = {preprintmatheon}, year = {2009}, }