Matches in DBpedia 2014 for { <http://dbpedia.org/resource/2-satisfiability> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 2-satisfiability abstract "In computer science, 2-satisfiability (abbreviated as 2-SAT or just 2SAT) is the problem of determining whether a collection of two-valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all the constraints. It is a special case of the general Boolean satisfiability problem, which can involve constraints on more than two variables, and of constraint satisfaction problems, which can allow more than two choices for the value of each variable. But in contrast to those problems, which are NP-complete, it has a known polynomial time solution. Instances of the 2-satisfiability problem are typically expressed as 2-CNF or Krom formulas.".
- 2-satisfiability thumbnail Implication_graph.svg?width=300.
- 2-satisfiability wikiPageID "497640".
- 2-satisfiability wikiPageRevisionID "606005732".
- 2-satisfiability hasPhotoCollection 2-satisfiability.
- 2-satisfiability last "Batenburg".
- 2-satisfiability last "Kosters".
- 2-satisfiability year "2008".
- 2-satisfiability year "2009".
- 2-satisfiability subject Category:NL-complete_problems.
- 2-satisfiability subject Category:Satisfiability_problems.
- 2-satisfiability comment "In computer science, 2-satisfiability (abbreviated as 2-SAT or just 2SAT) is the problem of determining whether a collection of two-valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all the constraints. It is a special case of the general Boolean satisfiability problem, which can involve constraints on more than two variables, and of constraint satisfaction problems, which can allow more than two choices for the value of each variable.".
- 2-satisfiability label "2-satisfiability".
- 2-satisfiability sameAs m.02hkyt.
- 2-satisfiability sameAs Q4596967.
- 2-satisfiability sameAs Q4596967.
- 2-satisfiability wasDerivedFrom 2-satisfiability?oldid=606005732.
- 2-satisfiability depiction Implication_graph.svg.
- 2-satisfiability isPrimaryTopicOf 2-satisfiability.
