Beschreibung
The course provides an introduction to some of the theories and decision procedures that are used in automated reasoning. The focus will be on satisfiability modulo theories (SMT).Literatur
The following books cover many of the topics discussed in the course:- Daniel Kroenig and Ofer Strichman, Decision Procedures – An Algorithmic Point of View, Springer, 2008, ISBN 978-3-540-74104-6
- Aaron Bradley and Zohar Manna, The Calculus of Computation, Springer, 2007, ISBN 978-3-540-74112-1