Publication | Closed Access
Satisfiability modulo theories
615
Citations
16
References
2011
Year
Decision ProcedureEngineeringAutomated ReasoningProof ComplexityVerificationModal LogicFormal MethodsSoftware AnalysisSatisfiability Modulo TheoriesComputational ComplexityComputer-aided VerificationSat SolvingComputer ScienceSatisfiabilityLogical FormulasFormal Verification
Checking the satisfiability of logical formulas, SMT solvers scale orders of magnitude beyond custom ad hoc solvers.
| Year | Citations | |
|---|---|---|
Page 1
Page 1