Differences
This shows you the differences between two versions of the page.
sav08:implementing_congruence_closure [2008/04/23 07:57] vkuncak created |
sav08:implementing_congruence_closure [2009/05/04 13:43] (current) vkuncak |
||
---|---|---|---|
Line 7: | Line 7: | ||
Within this structure we have union of inverted trees, representing union-find data structure. | Within this structure we have union of inverted trees, representing union-find data structure. | ||
- | Inverted tree representing equivalence classes.. | + | Inverted tree representing equivalence classes. |
* [[Calculus of Computation Textbook]], Section 9.3 | * [[Calculus of Computation Textbook]], Section 9.3 | ||