SAT-Solving

Aus International Center for Computational Logic

Version vom 19. März 2020, 13:31 Uhr von Johannes Fichte (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=SAT-Solving |Research group=Wissensverarbeitung |Lecturers=Johannes Fichte; |Tutors=Marcos Cramer; |Term=SS |Year=2019 |Module=INF-BAS3, INF…“)

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

Wechseln zu:Navigation, Suche

SAT-Solving

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

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=30151“

Vorlesung