Home → Magazine Archive → September 2011 (Vol. 54, No. 9) → Satisfiability Modulo Theories: Introduction and Applications → Abstract

Satisfiability Modulo Theories: Introduction and Applications

By Leonardo De Moura, Nikolaj Bjørner

Communications of the ACM, Vol. 54 No. 9, Pages 69-77

[article image]

Checking the satisfiability of logical formulas, SMT solvers scale orders of magnitude beyond custom ad hoc solvers.

The full text of this article is premium content


No entries found