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 |