SAT solvers

http://dbpedia.org/resource/Category:SAT_solvers an entity of type: Concept

rdfs:label

rdf:langString SAT solvers

skos:prefLabel

rdf:langString SAT solvers

dbpedia-owl:wikiPageID

xsd:integer 2046048

dbpedia-owl:wikiPageRevisionID

xsd:integer 397445944

dbpedia:Category:Formal_methods_tools

dbpedia:Category:NP-complete_problems

dbpedia:Category:Satisfiability_problems

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Category:SAT_solvers?oldid=397445944&ns=14>

data from the linked data cloud