English Satisfiability modulo theories Cited by user Citation bot on 01 Dec 2023 In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable.