About: SMT solvers

Property	Value
rdf:type	skos:Concept
rdfs:label	SMT solvers
skos:broader	dbpedia:Category:Formal_methods dbpedia:Category:Electronic_design_automation dbpedia:Category:Logic_in_computer_science dbpedia:Category:NP-complete_problems dbpedia:Category:Satisfiability_problems
skos:prefLabel	SMT solvers
is skos:subject of	dbpedia:Beaver_bit-vector_decision_procedure dbpedia:Uclid