@inproceedings{AchterbergHeinzKoch2008, author = {Achterberg, Tobias and Heinz, Stefan and Koch, Thorsten}, title = {Counting Solutions of Integer Programs Using Unrestricted Subtree Detection}, volume = {5015}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008}, editor = {Perron, Laurent and Trick, Michael}, publisher = {Springer}, pages = {278 -- 282}, year = {2008}, language = {en} } @inproceedings{AchterbergBertholdKochetal.2008, author = {Achterberg, Tobias and Berthold, Timo and Koch, Thorsten and Wolter, Kati}, title = {Constraint Integer Programming: A New Approach to Integrate CP and MIP}, volume = {5015}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008}, editor = {Perron, Laurent and Trick, Michael}, publisher = {Springer}, doi = {10.1007/978-3-540-68155-7_4}, pages = {6 -- 20}, year = {2008}, language = {en} }