2 citations · 4 across the 4 of their papers we have counts for
1 paper · 2 filters
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,…