About: Circuit satisfiability problem

Property	Value
dbo:description	Entscheidungsproblem, ob es für eine gegebene boolesche Schaltung eine Eingabe gibt, die das Outout Gatter wahr macht. (de) classic NP-complete problem in computer science (en)
dbo:thumbnail	wiki-commons:Special:FilePath/CircuitSAT.svg?width=300
dbo:wikiPageWikiLink	dbr:Co-NP-complete dbc:NP-complete_problems dbc:Computability_theory dbr:Minesweeper_(video_game) dbr:NOR_gate dbr:Cook–Levin_theorem dbr:Functional_completeness dbr:Tseytin_transformation dbr:Netlist dbr:Boolean_circuit dbr:NAND_gate dbr:Theoretical_computer_science dbc:Computational_problems dbr:3SAT dbr:Boolean_satisfiability_problem dbr:Circuit_Value_Problem dbr:Reduction_(complexity) dbr:Conjunctive_normal_form dbr:Sheffer_stroke dbr:NP-hardness dbr:Planar_graph dbr:Decision_problem dbr:NP-complete dbr:File:CircuitSAT.svg dbr:Satisfiability_problem
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:Short_description
dct:subject	dbc:NP-complete_problems dbc:Computability_theory dbc:Computational_problems
gold:hypernym	dbr:Problem
rdfs:label	Circuit satisfiability problem (en) Erfüllbarkeitsproblem für Schaltkreise (de) Problème de satisfiabilité de circuit (fr) Problema da satisfatibilidade de circuito (pt)
owl:sameAs	yago-res:Circuit satisfiability problem wikidata:Circuit satisfiability problem dbpedia-de:Circuit satisfiability problem dbpedia-fr:Circuit satisfiability problem dbpedia-pt:Circuit satisfiability problem dbpedia-global:Circuit satisfiability problem freebase:Circuit satisfiability problem
prov:wasDerivedFrom	wikipedia-en:Circuit_satisfiability_problem?oldid=1295092618&ns=0
foaf:depiction	wiki-commons:Special:FilePath/CircuitSAT.svg
foaf:isPrimaryTopicOf	wikipedia-en:Circuit_satisfiability_problem
is dbo:wikiPageRedirects of	dbr:Circuit-SAT dbr:CircuitSAT dbr:Circuit_SAT dbr:Circuit_satisfaction_problem dbr:Circuit_satisfiability dbr:CIRCUIT-SAT
is dbo:wikiPageWikiLink of	dbr:Non-interactive_zero-knowledge_proof dbr:List_of_NP-complete_problems dbr:Minesweeper_(video_game) dbr:Light_Up_(puzzle) dbr:CSAT dbr:PLS_(complexity) dbr:Boolean_satisfiability_algorithm_heuristics dbr:Planar_SAT dbr:Circuit-SAT dbr:CircuitSAT dbr:Circuit_SAT dbr:Circuit_satisfaction_problem dbr:Circuit_satisfiability dbr:CIRCUIT-SAT
is foaf:primaryTopic of	wikipedia-en:Circuit_satisfiability_problem