Inhalt

[ 921CGELSASK19 ] KV SAT Solving

Versionsauswahl
Es ist eine neuere Version 2021W dieser LV im Curriculum Master's programme Computer Mathematics 2021W vorhanden.
(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS M2 - Master's programme 2. year Computer Science Armin Biere 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Computer Science 2019W
Objectives SAT and BDD-based symbolic model checking
Subject 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
Criteria for evaluation
Language English
Changing subject? No
Corresponding lecture (*)921CGELAMCK13: KV Advanced Model Checking (3 ECTS)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment