Organisatorisches

• jede Woche 1 Vorlesung + 1 Übung
• Übungsaufgaben (teilw. autotool)
• Projektarbeit (?), Klausur (?)

mögl. Projektthemen:

• SAT-Kodierungen (Testfälle für eine Bibliothek, die von A. Bau entwickelt wird)
• SAT zum Lösen von Endspielproblemen (http://senseis.xmp.net/?Havannah)
• Generierung von SMT-Benchmarks aus Terminationsproblemen
• Test und Erweiterung eines SMT-Solvers https://github.com/jwaldmann/satchmo-smt