Ab 2. November 2020 findet das Herbstsemester 2020 online statt. Ausnahmen: Veranstaltungen, die nur mit Präsenz vor Ort durchführbar sind.
Bitte beachten Sie die per E-Mail kommunizierten Informationen der Dozierenden.

263-4200-00L  Seminar SAT

SemesterHerbstsemester 2015
DozierendeE. Welzl
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


KurzbeschreibungStudy and presentation of research papers from the literature on "Boolean Satisfiability-Combinatorics and Algorithms".
LernzielGoal of this seminar is to study and present, in continuation of the course "Boolean Satisfiability-Combinatorics and Algorithms", research papers from the literature.
LiteraturA list of papers for presentations will be distributed at the beginning of the seminar.
Voraussetzungen / BesonderesThe seminar builds heavily on the material covered in the course "Boolean Satisfiability-Combinatorics and Algorithms." Successful completion of that course is a prerequisite for participation in the seminar.