×

Found 19 Documents (Results 1–19)

Demand-driven normalisation for ACD term rewriting. (English) Zbl 1251.68123

Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 484-488 (2009).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Cadmium: an implementation of ACD term rewriting. (English) Zbl 1185.68137

Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 531-545 (2008).
MSC:  68N15
PDFBibTeX XMLCite
Full Text: DOI

From high-level model to branch-and-price solution in G12. (English) Zbl 1142.90503

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, 218-232 (2008).
MSC:  90C57 90C27 90C90
PDFBibTeX XMLCite
Full Text: DOI HAL

Propagation = lazy clause generation. (English) Zbl 1145.68527

Bessière, Christian (ed.), Principles and practice of constraint programming – CP 2007. 13th international conference, CP 2007, Providence, RI, USA, September 23–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74969-1/pbk). Lecture Notes in Computer Science 4741, 544-558 (2007).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software