SAT Course: Slides and Exercises
Carsten Sinz - University of Tübingen
Slides:
Monday 27.09.04:
Introduction to SAT
(
handout, 4 slides on one page
)
Tuesday 28.09.04:
Theoretical aspects
(
handout
)
Wednesday 29.09.04:
Implementation techniques
(
handout
)
Thursday 30.09.04:
Structural analysis
(
handout
)
Friday 01.10.04:
Applications
(
handout
)
Exercises:
Monday 27.09.04:
Assignment I
Tuesday 28.09.04:
Assignment II
Wednesday 29.09.04:
Assignment III
(additional material for Ex. 5 can be downloaded
here
[NOTE:
new version
])
Thursday 30.09.04:
Assignment IV
Friday 01.10.04:
Assignment V
Questions and Comments:
sinz@informatik.uni-tuebingen.de