Satisfiability modulo theories

Property	Value
rdf:type	owl:NamedIndividual Formal method Satisfiability problem NP-complete problem
rdfs:label	Satisfiability modulo theories
owl:sameAs	dbr:Satisfiability_modulo_theories
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Satisfiability_problems http://en.wikipedia.org/wiki/Category:Formal_methods http://en.wikipedia.org/wiki/Category:NP-complete_problems http://en.wikipedia.org/wiki/List_of_NP-complete_problems
skos:prefLabel	Satisfiability modulo theories
skos:altLabel	SMT SAT solving SMT Solvers SMT solver SMT solvers SMT solving SMT-solvers SMT-solving Satisfiability modulo theories#SMT solvers Satisfiability modulo theories#Solvers Satisfiability modulo theories#Verification Satisfiability_modulo_theories#SMT_solvers Satisfiability_modulo_theories#Solvers Satisfiability_modulo_theories#Yices satisfiability modulo theories
is clgo:knownFor of	Greg Nelson (computer scientist)

About: clgr:Satisfiability_modulo_theories