@misc{AchterbergBertholdKochetal.2009, author = {Tobias Achterberg and Timo Berthold and Thorsten Koch and Kati Wolter}, title = {Constraint Integer Programming: a New Approach to Integrate CP and MIP}, institution = {Zuse Institute Berlin (ZIB)}, type = {preprintmatheon}, year = {2009}, }