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)

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)

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

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)