Seminar: Symbolisches Rechnen
Das Seminar vertieft Themen aus den Vorlesungen "SAT-Solving und Anwendungen" und "Automatisches Beweisen". Mögliche Vortragsthemen gibt es u.a. auf den Gebieten Normalformen, Boolesche Quantoren-Elimination, SAT basierte Optimierung, Bounded Model Checking und Software Verifikation.
| Art | Seminar | |
|---|---|---|
| Betreuer | Prof. Wolfgang Küchlin und Mitarbeiter | |
| Vorbesprechung | Das Kickoff Meeting findet am 06.12. um 10 c.t. im C109 statt. | |
| Termin | Das Seminar findet als Block-Veranstaltung im Februar oder März 2017 statt (nach Vereinbarung im Kickoff Meeting). | |
| Voraussetzung | Vorlesung 'SAT Solving und Anwendungen'. | |
| Teilnehmerzahl | Die Teilnehmerzahl ist auf 6 Teilnehmer beschränkt. | |
| Link | Campus |