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.
English David L. Dill Cited by user Citation bot on 22 Jan 2019 David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and…