Lecture 8

Slides and Topics

Today’s lecture is on an extension of SAT, SAT Module Theories (SMT).

• SMT1
• SMT2

Reading Material

Again the main textbook does not cover the material, but the article Satisfiability modulo theories: introduction and applications and the book Decision Procedures (available online at the University Library).