3259 2008 2008 eng 6 20 5015 conferenceobject Springer 0 -- -- -- Constraint Integer Programming: A New Approach to Integrate CP and MIP Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008 10.1007/978-3-540-68155-7_4 Lecture Notes in Computer Science urn:nbn:de:0297-zib-10520 Tobias Achterberg Laurent Perron Timo Berthold Michael Trick Thorsten Koch Kati Wolter Mathematical Optimization Achterberg, Tobias Berthold, Timo Koch, Thorsten VeriCount Applied Optimization