Description
In summer term 2012 this course is tightly coupled with the courses on theory and practice of decision procedures.Schedule
week | date | exercises |
---|---|---|
1 | 07.03 (lecture) | |
2 | 14.03 | |
3 | 21.03 | |
4 | 28.03 | |
5 | 18.04 | |
6 | 25.04 | |
7 | 02.05 (lecture) | |
8 | 09.05 | |
9 | 16.05 | |
10 | 23.05 | |
11 | 30.05 | |
12 | 06.06 | |
13 | 13.06 | |
14 | 20.06 | |
15 | 27.06 |