×

Found 11 Documents (Results 1–11)

CP-based local branching. (English) Zbl 1145.68520

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, 847-855 (2007).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

The ROOTS constraint. (English) Zbl 1160.68539

Benhamou, Frédéric (ed.), Principles and practice of constraint programming – CP 2006. 12th international conference, CP 2006, Nantes, France, September 25–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46267-5/pbk). Lecture Notes in Computer Science 4204, 75-90 (2006).
MSC:  68T20 68Q17
PDFBibTeX XMLCite
Full Text: DOI Link

Among, common and disjoint constraints. (English) Zbl 1180.68244

Hnich, Brahim (ed.) et al., Recent advances in constraints. Joint ERCIM/CoLogNET international workshop on constraint solving and constraint logic programming, CSCLP 2005, Uppsala, Sweden, June 20–22, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-34215-X/pbk). Lecture Notes in Computer Science 3978. Lecture Notes in Artificial Intelligence, 29-43 (2006).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

The range constraint: Algorithms and implementation. (English) Zbl 1177.68182

Beck, J. Christopher (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. Third international conference, CPAIOR 2006, Cork, Ireland, May 31 – June 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34306-7/pbk). Lecture Notes in Computer Science 3990, 59-73 (2006).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Filtering algorithms for the NValue constraint. (English) Zbl 1133.68427

Barták, Roman (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems.; Second international conference, CPAIOR 2005, Prague, Czech Republic, May 31 – June 1, 2005. Refereed proceedings. Berlin: Springer (ISBN 978-3-540-26152-0/pbk). Lecture Notes in Computer Science 3524, 79-93 (2005).
MSC:  68T20 90C27 68Q17
PDFBibTeX XMLCite
Full Text: DOI Link

Towards inferring labelling heuristics for CSP application domains. (English) Zbl 1007.68583

Baader, Franz (ed.) et al., KI 2001: Advances in artificial intelligence. Joint German/ Austrian conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2174, 275-289 (2001).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software