×

Found 4 Documents (Results 1–4)

Counting solutions of integer programs using unrestricted subtree detection. (English) Zbl 1142.90453

Perron, Laurent (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 5th international conference, CPAIOR 2008 Paris, France, May 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68154-0/pbk). Lecture Notes in Computer Science 5015, 278-282 (2008).
MSC:  90C10 90C57
PDFBibTeX XMLCite
Full Text: DOI

Constraint integer programming: A new approach to integrate CP and MIP. (English) Zbl 1142.68504

Perron, Laurent (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 5th international conference, CPAIOR 2008 Paris, France, May 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68154-0/pbk). Lecture Notes in Computer Science 5015, 6-20 (2008).
MSC:  68T20 90C27 90C11
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field