Inhalt

[ 921CGELSASK19 ] KV SAT Solving

Versionsauswahl
(*) 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 2018W
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