Computer Science - Decision Procedures
|
|
---|---|
General information |
|
Course name | Decision Procedures |
Course type | Lecture |
Course code | Inf-EntVer |
Course coordinator | Prof. Dr. Dirk Nowotka |
Faculty | Engineering |
Examination office | pruefungsamt@informatik.uni-kiel.de |
Short summary | In this course we deal with essential decision procedures and their applications. Decision procedures for the satisfiability problem for various logics, SAT-, SMT, and QBF-solvers, are introduced. Such procedures constitute a technological foundation for applications in the field of software verification. We consider algorithmic aspects, heuristics and modern implementations of those. |
Information about study level |
|
Study level | Master |
Also possible for | |
Information about credit points, evaluation and frequency |
|
ECTS | 6 |
Evaluation | Oral exam |
Frequency | Winter semester |
Information about teaching language |
|
Teaching language | English |
Minimum language requirement | B1 |
Further information on the teaching language | |
Information about requirements |
|
Recommended requirements | Basic knowledge in mathematical logic |
Information about course content, reading list and additional information |
|
Course Content | Algorithms, heuristics and modern implementations of decision procedures. |
Reading list | D. Kröning, O. Strichman: Decision Procedures - An Algorithmic Point of View (Springer, 2008) |
Additional information |