Optimizing compilation of constraint handling rules in HAL

DOI10.1017/S1471068405002413MaRDI QIDQ5696595zbMATH OpenFDO

Authors Christian Holzbaur, Maria Garcia De La Banda, Peter J. Stuckey, Gregory Duck

Publication date 18 October 2005

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068405002413

zbMATH Keywords

incremental constraint solvers

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 2085270
• Logic Programming
• Logic Programming
• Optimization of CHR Propagation Rules
• Theory and practice of constraint handling rules

Cited in

(10)

• Optimized compilation of multiset rewriting with comprehensions
• CHR for Imperative Host Languages
• Guard Reasoning in the Refined Operational Semantics of CHR
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• scientific article; zbMATH DE number 2085270 (Why is no real title available?)
• Attributed Data for CHR Indexing
• Memory Reuse for CHR
• Logic Programming
• Optimization of CHR Propagation Rules
• Program Development in Computational Logic

This page was built for publication: Optimizing compilation of constraint handling rules in HAL

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