Satisfiability modulo theories: introduction and applications

  title={Satisfiability modulo theories: introduction and applications},
  author={Leonardo Mendonça de Moura and Nikolaj Bj\orner},
  journal={Commun. ACM},
Checking the satisfiability of logical formulas, SMT solvers scale orders of magnitude beyond custom ad hoc solvers. 
Highly Influential
This paper has highly influenced 25 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 391 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
241 Citations
0 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 241 extracted citations

392 Citations

Citations per Year
Semantic Scholar estimates that this publication has 392 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…