[ 921CGELSASK19 ] KV SAT Solving
|
|
|
| Es ist eine neuere Version 2023W dieser LV im Curriculum Master's programme Computational Mathematics 2023W 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)
|
| Earlier variants |
They also cover the requirements of the curriculum (from - to)
921CGELAMCK13: KV Advanced Model Checking (2013W-2019S)
|
|
|
|
| On-site course |
| Maximum number of participants |
- |
| Assignment procedure |
Direct assignment |
|
