3 search results - page 1 / 1 » Analysing the CHR Implementation of Union-Find |
116
Voted
WLP
2005
Springer
15 years 11 months ago
2005
Springer
162
Voted
CSCLP
2007
Springer
15 years 12 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...
169
Voted
LOPSTR
2009
Springer
16 years 11 days 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...