Constraint solving with constraint handling rules

MaRDI QIDQ2758293zbMATH OpenFDO

Authors Thom Frühwirth

Publication date 6 December 2001

zbMATH Keywords

constraint handling rulesconstraint logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Theory and practice of constraint handling rules
• Principles of constraint systems and constraint solvers
• Welcome to Constraint Handling Rules
• A compositional semantics for CHR
• As time goes by: constraint handling rules

Cited in

(19)

• Constraint Handling Rules. Current research topics
• A compositional semantics for CHR
• As time goes by: constraint handling rules
• Optimal union-find in Constraint Handling Rules
• Principles of constraint systems and constraint solvers
• Advances in constraint handling rules.
• Expressiveness of Multiple Heads in CHR
• The Correspondence Between the Logical Algorithms Language and CHR
• Welcome to Constraint Handling Rules
• Constraint Handling Rules
• Theory and practice of constraint handling rules
• scientific article; zbMATH DE number 1337859 (Why is no real title available?)
• Constraint programming viewed as rule-based programming
• Constraint Answer Set Solving
• scientific article; zbMATH DE number 2090557 (Why is no real title available?)
• SMCHR: satisfiability modulo constraint handling rules
• Constraint Processing
• Cadmium: An Implementation of ACD Term Rewriting
• Termination of floating-point computations

This page was built for publication: Constraint solving with constraint handling rules

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