Optimization of CHR Propagation Rules

DOI10.1007/978-3-540-89982-2_42MaRDI QIDQ5504675zbMATH OpenOpenAlexFDO

Authors Peter van Weert

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_42

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming
• scientific article; zbMATH DE number 2085270
• Logic Programming
• Logic Programming
• Optimizing compilation of constraint handling rules in HAL

Cites work

• As time goes by: constraint handling rules
• Logic Programming
• Logic Programming
• Logic Programming
• Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6--10, 2004. Proceedings.
• Optimization of CHR Propagation Rules
• Optimizing compilation of constraint handling rules in HAL
• Theory and practice of constraint handling rules

Cited in

(5)

• Combining forward and backward propagation
• Optimizing compilation of constraint handling rules in HAL
• Optimization of CHR Propagation Rules
• Optimized compilation of multiset rewriting with comprehensions
• Logic Programming

This page was built for publication: Optimization of CHR Propagation Rules

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