Parameterized Algorithms and Implementations for SAT and Generalizations

Aus International Center for Computational Logic

Version vom 19. März 2020, 13:47 Uhr von Johannes Fichte (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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

Johannes Fichte

Tutor

Marcos Cramer

Umfang (SWS)

2/1/2

Module

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.

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=PC4SAT_(SS2020)&oldid=30154“

Vorlesung