11 search results - page 3 / 3 » On Derandomizing Tests for Certain Polynomial Identities |
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...