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 |
||
| 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; | ||
Version vom 19. März 2020, 13:31 Uhr
Parameterized Algorithms and Implementations for SAT and Generalizations
Lehrveranstaltung mit SWS 2/1/2 (Vorlesung/Übung/Praktikum) in SS 2019
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.
