Quasi-linear-time algorithms by generalisation of union-find in CHR (2008)

by Thom Frühwirth
Venue:In Recent Advances in Constraints — CSCLP ’07: 12th ERCIM Intl. Workshop on Constraint Solving and Constraint 5 Programming, Revised Selected Papers