Communications of the ACM · 2011 · 629 citations · 16 references
ComputingComputer ScienceAlgorithmsLogicTheory Of ComputationModel CheckingModel TheorySatisfiability Modulo TheoriesBoolean Satisfiability Modulo TheoriesSatisfiabilitySatisfiability Modulo Theories Solver ArchitectureSatisfiability Problem
Checking the satisfiability of logical formulas, SMT solvers scale orders of magnitude beyond custom ad hoc solvers.
16
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text
Extended static checking for Java
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations
Thomas Ball, Sriram K. Rajamani · 2002 · 926 citations