Automatic implication checking for CHR constraints

zbMATH Open1276.68043MaRDI QIDQ2863874FDOQ2863874

Authors: Tom Schrijvers, Bart Demoen, Gregory Duck, Peter J. Stuckey, Thom Frühwirth 

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000363?np=y

Recommendations

• Logic Programming
• Automatic generation of CHR constraint solvers
• Theory and practice of constraint handling rules
• scientific article; zbMATH DE number 2086600
• SMCHR: satisfiability modulo constraint handling rules

zbMATH Keywords

program transformationconstraint handling rulesconstraint solver hierarchyimplication checking

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• CHR for Imperative Host Languages
• Automatic generation of CHR constraint solvers

This page was built for publication: Automatic implication checking for CHR constraints

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