|Research Group Computer Science 2||Dept. of Computer Science|
Prof. Dr. Erika Ábrahám, Prof. Dr. Jürgen Giesl, Dr. Florian Frohn, Stefan Dollase, Marcel Hark, Jera Hensel, David Korzeniewski, Rebecca Haehn, Gereon Kremer, Stefan Schupp
The focus of this seminar is automatic satisfiability checking of formulas. Here we consider several logics, e.g., pure propositional logic, but also extensions like quantified boolean formulas or SAT modulo theories. We will discuss both techniques for efficient satisfiability checking and practical applications in program verification.
The seminar will take place as a block seminar (e.g., in July 2019).
For further details please contact Marcel Hark.
|Disclaimer||Research Group Computer Science 2||Dept. of Computer Science|