Proseminar: SAT Solving and Beyond - Wintersemester 2017/18

Übersicht

Beschreibung
Kommentar	In diesem Proseminar sollen Algorithmische Methoden erarbeitet und vermittelt werden, die sich mit der Lösung des SAT-Problems und seiner Erweiterungen (zB #SAT, SMT) beschäftigen. Vorbesprechung: 16.10.2017, 15-16 Uhr, SR 02-017 (G.-Köhler-Allee 052)