Seminar Satisfiability Modulo Theories - Wintersemester 08/09

Literatur

Possible topics are (8-9 topics)

* DPLL algorithm

* DPLL(T) based solvers

* Theory combination

* Uninterpreted functions and equality

* Differential logic

* Linear programming (possible two topics)

* Quantifier instantiation

* Unsatisfiability proofs and Craig interpolation