## The Chameleon System (2004)

by
Peter J. Stuckey
,
Martin Sulzmann
,
Jeremy Wazny

Venue: | Source Code: Optimal Union-Find ufd rank make @ make(X) <=> root(X,0). findNode @ X ~> PX , find(X,R) <=> find(PX,R), X ~> R. findRoot @ root(X,_) \ find(X,R) <=> R=X. linkEq @ link(X,X) <=> true. linkLeft @ link(X,Y), root(X,RX) root(Y,RY) <=> RX >= RY | |

Citations: | 4 - 1 self |