@inproceedings{AchterbergHeinzKoch2008, author = {Tobias Achterberg and Stefan Heinz and Thorsten Koch}, title = {Counting Solutions of Integer Programs Using Unrestricted Subtree Detection}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008}, editor = {Laurent Perron and Michael Trick}, volume = {5015}, pages = {278 -- 282}, url = {http://opus.kobv.de/zib/volltexte/2008/1092/}, year = {2008}, }