CHR 2010 Accepted Papers

The Viterbi Algorithm expressed in Constraint Handling Rules
A State Equivalence and Confluence Checker for CHR
MTSeq - multi-touch-enabled music generation and manipulation based on CHR
Result-directed CHR Execution
Join Ordering for Constraint Handling Rules: Putting Theory into Practice
Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR