263-4200-00L Seminar SAT
Semester | Herbstsemester 2014 |
Dozierende | E. Welzl |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Lehrveranstaltungen
Nummer | Titel | Umfang | Dozierende | ||||
---|---|---|---|---|---|---|---|
263-4200-00 S | Seminar SAT | 2 Std. |
| E. Welzl |
Katalogdaten
Kurzbeschreibung | Study and presentation of research papers from the literature on "Boolean Satisfiability-Combinatorics and Algorithms". |
Lernziel | Goal of this seminar is to study and present, in continuation of the course "Boolean Satisfiability-Combinatorics and Algorithms", research papers from the literature. |
Literatur | A list of papers for presentations will be distributed at the beginning of the seminar. |
Voraussetzungen / Besonderes | The 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 Kreditpunkte | 2 KP |
Prüfende | E. Welzl |
Form | benotete Semesterleistung |
Prüfungssprache | Englisch |
Repetition | Repetition nur nach erneuter Belegung der Lerneinheit möglich. |
Lernmaterialien
Hauptlink | Information |
Es werden nur die öffentlichen Lernmaterialien aufgeführt. |
Gruppen
Keine Informationen zu Gruppen vorhanden. |
Einschränkungen
Keine zusätzlichen Belegungseinschränkungen vorhanden. |