About: Satz (SAT solver)

An Entity of Type: Intellectual109621545, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

SatZ is a well known SAT instance solver. It was developed by Prof. , a computer science researcher. The Z stands for the last version of SAT solvers.

Property	Value
dbo:abstract	SatZ is a well known SAT instance solver. It was developed by Prof. , a computer science researcher. The Z stands for the last version of SAT solvers. (en)
dbo:wikiPageID	9578962 (xsd:integer)
dbo:wikiPageLength	530 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	997644246 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Boolean_satisfiability_problem dbr:IJCAI dbc:SAT_solvers dbr:Chu_Min_Li
dbp:wikiPageUsesTemplate	dbt:Algorithm-stub dbt:Multiple_issues dbt:No_footnotes dbt:Notability dbt:One_source
dcterms:subject	dbc:SAT_solvers
rdf:type	yago:WikicatSATSolvers yago:CausalAgent100007347 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:ProblemSolver110458111 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Thinker110708454 yago:Whole100003553
rdfs:comment	SatZ is a well known SAT instance solver. It was developed by Prof. , a computer science researcher. The Z stands for the last version of SAT solvers. (en)
rdfs:label	Satz (SAT solver) (en)
owl:sameAs	freebase:Satz (SAT solver) yago-res:Satz (SAT solver) wikidata:Satz (SAT solver) https://global.dbpedia.org/id/4uhb7
prov:wasDerivedFrom	wikipedia-en:Satz_(SAT_solver)?oldid=997644246&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Satz_(SAT_solver)
is dbo:wikiPageDisambiguates of	dbr:Satz_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Maximum_satisfiability_problem dbr:Satz_(disambiguation)
is foaf:primaryTopic of	wikipedia-en:Satz_(SAT_solver)