The Chameleon System (2004)

Cached

Download Links

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