Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/Circuit_satisfiability_problem> ?p ?o }
Showing triples 1 to 23 of
23
with 100 triples per page.
- Circuit_satisfiability_problem abstract "In theoretical computer science, the circuit satisfiability problem (also known as CIRCUIT-SAT, CircuitSAT, CSAT, etc.) is the decision problem of determining whether a given Boolean circuit has an assignment of its inputs that makes the output true.".
- Circuit_satisfiability_problem wikiPageID "34599223".
- Circuit_satisfiability_problem wikiPageRevisionID "638909784".
- Circuit_satisfiability_problem hasPhotoCollection Circuit_satisfiability_problem.
- Circuit_satisfiability_problem subject Category:Computability_theory.
- Circuit_satisfiability_problem subject Category:Computational_problems.
- Circuit_satisfiability_problem subject Category:NP-complete_problems.
- Circuit_satisfiability_problem type Abstraction100002137.
- Circuit_satisfiability_problem type Attribute100024264.
- Circuit_satisfiability_problem type ComputationalProblems.
- Circuit_satisfiability_problem type Condition113920835.
- Circuit_satisfiability_problem type Difficulty114408086.
- Circuit_satisfiability_problem type NP-completeProblems.
- Circuit_satisfiability_problem type Problem114410605.
- Circuit_satisfiability_problem type State100024720.
- Circuit_satisfiability_problem comment "In theoretical computer science, the circuit satisfiability problem (also known as CIRCUIT-SAT, CircuitSAT, CSAT, etc.) is the decision problem of determining whether a given Boolean circuit has an assignment of its inputs that makes the output true.".
- Circuit_satisfiability_problem label "Circuit satisfiability problem".
- Circuit_satisfiability_problem sameAs m.0j256g8.
- Circuit_satisfiability_problem sameAs Q5121622.
- Circuit_satisfiability_problem sameAs Q5121622.
- Circuit_satisfiability_problem sameAs Circuit_satisfiability_problem.
- Circuit_satisfiability_problem wasDerivedFrom Circuit_satisfiability_problem?oldid=638909784.
- Circuit_satisfiability_problem isPrimaryTopicOf Circuit_satisfiability_problem.