Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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
  
 
sav08/implementing_congruence_closure.txt · Last modified: 2009/05/04 13:43 by vkuncak
 
© EPFL 2018 - Legal notice