Satisfiability Modulo Theories: A Beginner's Tutorial.

Clark W. Barrett, Cesare Tinelli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar

Browse the full FM paper archive.