Parameterized Algorithms and Implementations for SAT and Generalizations

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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.