PC4SAT (SS2020): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Fichte (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=SAT-Solving |Research group=Wissensverarbeitung |Lecturers=Johannes Fichte; |Tutors=Marcos Cramer; |Term=SS |Year=2019 |Module=INF-BAS3, INF…“) |
Johannes Fichte (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Vorlesung | {{Vorlesung | ||
|Title=SAT | |Title=Parameterized Algorithms and Implementations for SAT and Generalizations | ||
|Research group=Wissensverarbeitung | |Research group=Wissensverarbeitung | ||
|Lecturers=Johannes Fichte; | |Lecturers=Johannes Fichte; | ||
|Tutors=Marcos Cramer; | |Tutors=Marcos Cramer; | ||
|Term=SS | |Term=SS | ||
|Year= | |Year=2020 | ||
|Module=INF-BAS3, INF-E-3, INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI | |Module=INF-BAS3, INF-E-3, INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI | ||
|SWSLecture=2 | |SWSLecture=2 | ||
| Zeile 11: | Zeile 11: | ||
|SWSPractical=2 | |SWSPractical=2 | ||
|Exam type=mündliche Prüfung | |Exam type=mündliche Prüfung | ||
|Description= | |Description=For details and enrollment see: [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23071064074/CourseNode/101413612795102 OPAL Course Page] | ||
For details and enrollment see: [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23071064074/CourseNode/101413612795102 OPAL Course Page] | |||
We will start with remote tasks and self studying/slides in April after Eastern. | We will start with remote tasks and self studying/slides in April after Eastern. | ||
}} | }} | ||
Aktuelle Version vom 19. März 2020, 13:47 Uhr
Parameterized Algorithms and Implementations for SAT and Generalizations
Lehrveranstaltung mit SWS 2/1/2 (Vorlesung/Übung/Praktikum) in SS 2020
Dozent
Tutor
Umfang (SWS)
- 2/1/2
Module
Leistungskontrolle
- Mündliche Prüfung
For details and enrollment see: OPAL Course Page
We will start with remote tasks and self studying/slides in April after Eastern.
