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 |