Inhalt

[ 921CGELSASK19 ] KV SAT Solving

Versionsauswahl
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 2018W
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