Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav07_lecture_4_skeleton [2007/03/22 20:26] vkuncak |
sav07_lecture_4_skeleton [2007/03/22 20:30] vkuncak |
||
|---|---|---|---|
| Line 96: | Line 96: | ||
| Again, the second part! More technical. But, often you can use these things as a black box. | Again, the second part! More technical. But, often you can use these things as a black box. | ||
| + | |||
| ==== Congruence closure algorithm ==== | ==== Congruence closure algorithm ==== | ||
| Line 106: | Line 107: | ||
| More information on congruence closure algorithm: | More information on congruence closure algorithm: | ||
| - | * Gallier, Chapter 10.6 | + | * [[Gallier Logic Book]], Chapter 10.6 |
| - | * The paper by Nelson and Oppen | + | * {{nelsonoppen80decisionprocedurescongruenceclosure.pdf|the original paper by Nelson and Oppen}} |