Automatic implication checking for CHR constraints

MaRDI QIDQ2863874zbMATH OpenFDO

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

zbMATH Keywords

constraint handling rulesconstraint solver hierarchyimplication checkingprogram transformation

Mathematics Subject Classification ID

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

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

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)