[ 921CGELSASK19 ] KV SAT Solving
|
|
|
| Es ist eine neuere Version 2023W dieser LV im Curriculum Masterstudium Artificial Intelligence 2024W vorhanden. |
|
| (*) Leider ist diese Information in Deutsch nicht verfügbar. |
 |
| Workload |
Ausbildungslevel |
Studienfachbereich |
VerantwortlicheR |
Semesterstunden |
Anbietende Uni |
| 3 ECTS |
M2 - Master 2. Jahr |
Informatik |
Armin Biere |
2 SSt |
Johannes Kepler Universität Linz |
|
|
|
| Detailinformationen |
| Quellcurriculum |
Masterstudium Computer Science 2019W |
| Ziele |
SAT and BDD-based symbolic model checking
|
| Lehrinhalte |
SAT problem, SAT algorithms, DPLL, learning, SAT encoding, time frame expansion, bounded model checking, simple path constraints, image computation, interpolation, BDD based symbolic model checking
|
| Beurteilungskriterien |
|
| Abhaltungssprache |
Englisch |
| Lehrinhalte wechselnd? |
Nein |
| Äquivalenzen |
921CGELAMCK13: KV Advanced Model Checking (3 ECTS)
|
| Frühere Varianten |
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
921CGELAMCK13: KV Advanced Model Checking (2013W-2019S)
|
|
|
|
| Präsenzlehrveranstaltung |
| Teilungsziffer |
- |
| Zuteilungsverfahren |
Direktzuteilung |
|
