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
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

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