Optimizing compilation of constraint handling rules in HAL

DOI10.1017/S1471068405002413zbMATH Open1104.68010MaRDI QIDQ5696595FDOQ5696595

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)

Recommendations

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

zbMATH Keywords

incremental constraint solvers

Mathematics Subject Classification ID

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

Cited In (10)

• CHR for Imperative Host Languages
• Title not available (Why is that?)
• 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)