Counting Solutions of Integer Programs Using Unrestricted Subtree Detection
Author: | Tobias AchterbergORCiD, Stefan Heinz, Thorsten KochORCiD |
---|---|
Editor: | Laurent Perron, Michael Trick |
Document Type: | In Proceedings |
Parent Title (English): | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008 |
Volume: | 5015 |
First Page: | 278 |
Last Page: | 282 |
Series: | Lecture Notes in Computer Science |
Publisher: | Springer |
Year of first publication: | 2008 |
URL: | http://opus.kobv.de/zib/volltexte/2008/1092/ |
Preprint: | urn:nbn:de:0297-zib-10632 |