2 citations · 2 across the 1 of their papers we have counts for
1 paper
Jon Sneyers, Peter Van Weert, Tom Schrijvers +1
Constraint Handling Rules (CHR) is a high-level programming language based on multi-headed multiset rewrite rules. Originally designed for writing user-defined constraint solvers,…