3 search results - page 1 / 1 » Analysing the CHR Implementation of Union-Find |
WLP
2005
Springer
13 years 10 months ago
2005
Springer
CSCLP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
LOPSTR
2009
Springer
13 years 11 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...