scientific article; zbMATH DE number 2085269

MaRDI QIDQ4736503zbMATH OpenFDO

Authors Nicolas Beldiceanu, Mats Carlsson

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2237/22370059.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Principles and Practice of Constraint Programming – CP 2004
• Logics in Artificial Intelligence
• Cardinal: a finite sets constraint solver
• Cardinality constraints and systems of restricted representatives
• Combination of Among and Cardinality Constraints

Cited in

(7)

• Reformulation of global constraints based on constraints checkers
• New filtering algorithms for combinations of among constraints
• Principles and Practice of Constraint Programming – CP 2004
• An optimal arc consistency algorithm for a particular case of sequence constraint
• The complexity of reasoning with global constraints
• Computing leximin-optimal solutions in constraint networks
• Contractibility for open global constraints

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736503)