Principles of constraint systems and constraint solvers

MaRDI QIDQ3536358zbMATH OpenFDO

Authors Thom Frühwirth, Slim Abdennadher

Publication date 21 November 2008

zbMATH Keywords

algorithmscomputational logicexecutable specificationsprogram analysisrule-based programming

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• A methodological view of constraint solving
• Constraint solving with constraint handling rules
• Theory and practice of constraint handling rules
• A survey of constraint-based programming paradigms
• scientific article; zbMATH DE number 1312992

Cited in

(8)

• A methodological view of constraint solving
• MiniCP: a lightweight solver for constraint programming
• Constraint solving with constraint handling rules
• scientific article; zbMATH DE number 1688809 (Why is no real title available?)
• Integrating finite domain and set constraints into a set-based constraint language
• A constraint language and its interpreter
• A perspective of constraint-based reasoning. An introductory tutorial
• Constraint handling rules with binders, patterns and generic quantification

This page was built for publication: Principles of constraint systems and constraint solvers

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