About: Sharp-SAT

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbc:Combinatorics dbr:Validity_(logic) dbr:Artificial_intelligence dbr:Satisfiability dbc:Satisfiability_problems dbr:Counting_problem_(complexity) dbr:♯P dbr:♯P-complete dbr:Interpretation_(logic) dbr:Horn-satisfiability dbr:Computer_science dbc:Computational_problems dbr:Statistical_physics dbr:Computational_complexity_theory dbr:2SAT dbr:3SAT dbr:Boolean_satisfiability_problem dbr:Enumerative_combinatorics dbr:Conjunctive_normal_form dbr:Boolean_logic dbr:Sharp-P-complete dbr:Non-deterministic_Turing_machine dbr:Binary_Decision_Diagram dbr:Cook-Levin_theorem dbr:Formula_(mathematical_logic) dbr:Planar_3SAT
dbp:reason	hash (en)
dbp:title	#SAT (en)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Correct_title dbt:Refimprove
dct:subject	dbc:Combinatorics dbc:Satisfiability_problems dbc:Computational_problems
gold:hypernym	dbr:Problem
rdfs:label	Sharp-SAT (en) Sharp-SAT (pt)
owl:sameAs	freebase:Sharp-SAT yago-res:Sharp-SAT wikidata:Sharp-SAT dbpedia-pt:Sharp-SAT dbpedia-global:Sharp-SAT
prov:wasDerivedFrom	wikipedia-en:Sharp-SAT?oldid=1284362799&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Sharp-SAT
is dbo:wikiPageRedirects of	dbr:Sharpsat
is dbo:wikiPageWikiLink of	dbr:Riemann_mapping_theorem dbr:♯P-complete dbr:Boolean_satisfiability_problem dbr:IP_(complexity) dbr:♯P-completeness_of_01-permanent dbr:Sharpsat
is foaf:primaryTopic of	wikipedia-en:Sharp-SAT

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International