Constraint solving with constraint handling rules

MaRDI QIDQ2758293zbMATH OpenFDO

Authors Thom Frühwirth

Publication date 6 December 2001

zbMATH Keywords

constraint logic programmingconstraint handling rules

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

(17)

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

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)