Optimization of CHR Propagation Rules

DOI10.1007/978-3-540-89982-2_42zbMath1185.68187OpenAlexW1547146004MaRDI QIDQ5504675

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)

Related Items (1)

Optimization of CHR Propagation Rules

Cites Work

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

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