About: Not-all-equal 3-satisfiability

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

unknown

Property	Value
dbo:thumbnail	wiki-commons:Special:FilePath/Monotone_NAE3SAT.svg?width=300
dbo:wikiPageWikiLink	dbr:Schaefer's_dichotomy_theorem dbr:Boolean_satisfiability_problem dbr:Bipartite_graph dbr:Computational_complexity dbr:Set_splitting_problem dbr:Hypergraph dbr:Reduction_(complexity) dbr:Polynomial_time dbc:NP-complete_problems dbc:Satisfiability_problems dbr:NP-complete dbr:Planar_graphs dbr:3-satisfiability dbr:Boolean_variable
dbp:wikiPageUsesTemplate	dbt:R dbt:Reflist
dct:subject	dbc:NP-complete_problems dbc:Satisfiability_problems
rdfs:label	Not-all-equal 3-satisfiability (en)
owl:sameAs	wikidata:Not-all-equal 3-satisfiability dbpedia-global:Not-all-equal 3-satisfiability
prov:wasDerivedFrom	wikipedia-en:Not-all-equal_3-satisfiability?oldid=1294610026&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Monotone_NAE3SAT.svg
foaf:isPrimaryTopicOf	wikipedia-en:Not-all-equal_3-satisfiability
is dbo:wikiPageRedirects of	dbr:Naesat
is dbo:wikiPageWikiLink of	dbr:Schaefer's_dichotomy_theorem dbr:Set_splitting_problem dbr:Naesat
is foaf:primaryTopic of	wikipedia-en:Not-all-equal_3-satisfiability

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