@techreport{AchterbergBertholdHeinzetal.2008, author = {Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch and Kati Wolter}, title = {Constraint Integer Programming: Techniques and Applications}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {08-43}, language = {eng}, year = {2008} }