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

Privacy settings

Our website uses cookies. Some of them are mandatory, while others allow us to improve your user experience on our website. The settings you have made can be edited at any time.

or

Essential

in2code

Videos

in2code
YouTube
Google