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.

 

ArtSeminar
Betreuer

Prof. Wolfgang Küchlin und Mitarbeiter

VorbesprechungDas Kickoff Meeting findet am 06.12. um 10 c.t. im C109 statt.
TerminDas Seminar findet als Block-Veranstaltung im Februar oder März 2017 statt (nach Vereinbarung im Kickoff Meeting).
VoraussetzungVorlesung 'SAT Solving und Anwendungen'.
TeilnehmerzahlDie Teilnehmerzahl ist auf 6 Teilnehmer beschränkt.
LinkCampus