263-4200-00L  Seminar SAT

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



Lehrveranstaltungen

NummerTitelUmfangDozierende
263-4200-00 SSeminar SAT2 Std.
Fr10:15-12:00CAB G 57 »
E. Welzl

Katalogdaten

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.

Leistungskontrolle

Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte2 KP
PrüfendeE. Welzl
Formbenotete Semesterleistung
PrüfungsspracheEnglisch
RepetitionRepetition nur nach erneuter Belegung der Lerneinheit möglich.

Lernmaterialien

 
HauptlinkInformation
Es werden nur die öffentlichen Lernmaterialien aufgeführt.

Gruppen

Keine Informationen zu Gruppen vorhanden.

Einschränkungen

Keine zusätzlichen Belegungseinschränkungen vorhanden.

Angeboten in

StudiengangBereichTyp
CAS in InformatikFachseminarenWInformation
Doktorat Departement InformatikLehrangebot Doktorat und PostdoktoratWInformation
Informatik MasterSeminar Theoretical Computer ScienceWInformation
Mathematik BachelorSeminareWInformation
Mathematik MasterSeminareWInformation