Optimization of CHR Propagation Rules

DOI10.1007/978-3-540-89982-2_42zbMATH Open1185.68187OpenAlexW1547146004MaRDI QIDQ5504675FDOQ5504675

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

Recommendations

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

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