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.