Seminar Satisfiability Modulo Theories - winter term 08/09

literature

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