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 |

