Inhalt

[ 921CGELSASK19 ] KV SAT Solving

Versionsauswahl
Es ist eine neuere Version 2021W dieser LV im Curriculum Masterstudium Computer Mathematics 2021W vorhanden.
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)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung