Adaptive CHR Meets CHR ∨

DOI10.1007/978-3-540-92243-8_3zbMath1229.68025OpenAlexW1551925211MaRDI QIDQ3616881

Jacques Robin, Armin Wolf, Jairson Vitorino

Publication date: 26 March 2009

Published in: Constraint Handling Rules (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92243-8_3

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

SMCHR: Satisfiability modulo constraint handling rules ⋮ A Flexible Search Framework for CHR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimal union-find in Constraint Handling Rules
• A Flexible Search Framework for CHR
• Theory and practice of constraint handling rules
• Logic Programming
• Logic Programming
• Intelligent search strategies based on adaptive Constraint Handling Rules

This page was built for publication: Adaptive CHR Meets CHR ∨