Parameterized Algorithms and Implementations for SAT and Generalizations

Parameterized Algorithms and Implementations for SAT and Generalizations

Lehrveranstaltung mit SWS 2/1/2 (Vorlesung/Übung/Praktikum) in SS 2020

Dozent

• Johannes Fichte

Tutor

• Marcos Cramer

Umfang (SWS)

• 2/1/2

Module

• INF-BAS3
• INF-E-3
• INF-PM-FOR
• INF-VERT2
• MCL-KR
• MCL-PI

Leistungskontrolle

• Mündliche Prüfung

• Information

For details and enrollment see: OPAL Course Page

We will start with remote tasks and self studying/slides in April after Eastern.