Some tutorial papers on SMT

• ​ L. de Moura and N. Bjørner: Satisfiability Modulo Theories: An Appetizer, Proc. SBMF 2009, pp 23–36

• ​ L. de Moura and N. Bjørner: Satisfiability modulo theories: introduction and applications, Communications of the ACM 54(9):69–77, 2011

• ​ L. de Moura, B. Dutertre, and N. Shankar: A Tutorial on Satisfiability Modulo Theories, Proc. CAV 2007, pp 20–36

• ​ N. Bjørner: A Short Course on Advanced Analysis Techniques, DTU, 2012

• ​ Lecture slides by Roberto Bruttomesso from Fall 2011 in Univ. Milan

• ​ D. Kroening and O. Strichman: Decision Procedures — An Algorithmic Point of View, Springer, 2008

• ​ C. Barrett et al: Satisfiability Modulo Theories, Handbook of Satisfiability, pp 825–885