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
10.1145/1995376.1995394

[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

0 Comments

No entries found