Diese Seite auf Deutsch  Research Group Computer Science 2  Dept. of Computer Science RWTH

Seminar:
Satisfiability Checking

(S2, SS 2019)

LuFG Informatik II


Instructors

Prof. Dr. Erika Ábrahám, Prof. Dr. Jürgen Giesl, Stefan Dollase, Marcel Hark, Jera Hensel, Rebecca Haehn, Gereon Kremer,


Contents

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.


Prerequisites


Date

The seminar will take place as a block seminar (e.g., in July 2019).


Further Details and Questions

For further details please contact Marcel Hark.

Disclaimer  Research Group Computer Science 2  Dept. of Computer Science RWTH