Parameterized Algorithms and Implementations for SAT and Generalizations
From International Center for Computational Logic
Parameterized Algorithms and Implementations for SAT and Generalizations
Course with SWS 2/1/2 (lecture/exercise/practical) in SS 2020
Lecturer
Tutor
SWS
- 2/1/2
Modules
Examination method
- Oral exam
For details and enrollment see: OPAL Course Page
We will start with remote tasks and self studying/slides in April after Eastern.
