TY - CONF A1 - Achterberg, Tobias A1 - Heinz, Stefan A1 - Koch, Thorsten A2 - Perron, Laurent A2 - Trick, Michael T1 - Counting Solutions of Integer Programs Using Unrestricted Subtree Detection T2 - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008 Y1 - 2008 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/3260 UR - http://opus.kobv.de/zib/volltexte/2008/1092/ VL - 5015 SP - 278 EP - 282 PB - Springer ER -