Symbolisches Rechnen

SAT Solving und Anwendungen

Das aussagenlogische Erfüllbarkeitsproblem (SAT-Problem) spielt in Theorie (Komplexität, NP-Vollständigkeit) und Praxis (Hard- und Software-Verifikation, Konfiguration) eine herausragende Rolle.
Durch große Fortschritte in den letzten Jahren lassen sich heute eine Vielzahl praktischer kombinatorischer Probleme effizient mit SAT-Solvern bearbeiten.

 

ArtVorlesung & Übung
BetreuerProf. Dr. Küchlin / Rouven Walter
Umfang2 SWS Vorlesung + 2 SWS Übung / 6 LP
Termin

Vorlesung: Di, 16 c.t. - 18 Uhr, wöchentlich

Übung: Di, 14 c.t. - 16 Uhr, wöchentlich

Raum

Vorlesung: Sand 14, Seminarraum C118a

Übung: Sand 14, Seminarraum C118a / A302

Beginn18.10.2016
LinkCampus / Ilias