Contact
Teaching
 |
 |
|
| SAT-Solving: Theory, Tools and Applications | ||
 |
 |
| News | Inhalt | Benotung | Zeitplan | Material |
Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
Beschreibung
In diesem Proseminar werden Themen aus dem Bereich SAT-Solving behandelt. Wir beginnen mit der Grundlegenden Theorie (was ist SAT, warum ist SAT interessant) und einfachen Lösungsstrategien. Im weiteren Verlauf des Proseminars lernen wir Erweiterungen wie SMT-Solving kennen, betrachten Spezialfälle und Anwendungen von SAT.
Ablauf
- Jeder Student hält einen Vortrag, Dauer 40 Minuten.
- Die Themenliste ist unter Material zu finden, eigene Vorschläge sind willkommen.
- Gruppenthemen werden zu zweit bearbeitet, die Aufteilung erfolgt in Absprache mit dem Betreuer.
- Die Themenvergabe erfolgt per E-mail, wir werden um Präferenzen bitten und versuchen diese so gut es geht zu erfüllen.
- Eine schriftliche Ausarbeitung wird nicht verlangt
- Ein detaillierter Zeitplan inklusive Fristen folgt demnächst