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_5_skeleton [2007/03/28 10:53] vkuncak |
sav07_lecture_5_skeleton [2007/03/28 11:08] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Lecture 5 Skeleton ====== | ====== Lecture 5 Skeleton ====== | ||
- | + | Two important techniques: | |
- | + | * Nelson-Oppen combination method | |
- | + | * Resolution | |
- | + | ||
===== Basic idea of Nelson-Oppen combination ===== | ===== Basic idea of Nelson-Oppen combination ===== |