Seminar Automatisches Beweisen in der Aussagenlogik
Universität Potsdam, Sommersemester 2007
Es sind Vorträge zu folgenden Themen geplant:
Donnerstag, 27.9.2007
| Zeit |
Vortragender |
Thema |
| 09.45 Uhr |
Falko Zander |
Implementierung von DPLL-basierten SAT-Beweisern |
| 11.00 Uhr |
Roland Kaminski |
SAT-Algorithmen für Nichtklausel-Formel |
| 13.00 Uhr |
Gunthard Benecke |
Strukturelle Methoden: geordnete binäre Entscheidungsbäume |
| 14.15 Uhr |
Saskia Sandow |
Anwendung von SAT-Beweisern in der Verifikation |
Freitag, 28.9.2007
| Zeit |
Vortragender |
Thema |
| 09.45 Uhr |
Christian Ostermeier |
Theorieschließen: Nelson-Oppen-Verfahren |
| 11.00 Uhr |
Günther Niess |
Theorieschließen: Shostak-Verfahren |
| 13.00 Uhr |
Ellen König |
Lokalsuchalgorithmen |
| 14.15 Uhr |
Kristine Jetzke |
Random-k-SAT |
