|
gptkbp:instanceOf
|
gptkb:theoretical_computer_science
gptkb:Boolean_satisfiability_problem
|
|
gptkbp:clauseLength
|
3
|
|
gptkbp:definedIn
|
theory of computational complexity
|
|
gptkbp:estimatedCost
|
no
|
|
gptkbp:firstProvedNPCompleteBy
|
gptkb:Richard_Karp
|
|
gptkbp:formulaType
|
gptkb:conjunctive_normal_form
|
|
gptkbp:harderThan
|
2-SAT problem
|
|
gptkbp:hasSpecialCase
|
k-SAT problem
|
|
gptkbp:input
|
Boolean formula in conjunctive normal form with three literals per clause
|
|
gptkbp:isCanonicalNPCompleteProblem
|
true
|
|
gptkbp:minimumNumberOfVariables
|
3
|
|
gptkbp:NP-complete
|
true
|
|
gptkbp:output
|
true or false
satisfiable or unsatisfiable
|
|
gptkbp:reduces
|
general SAT problem
|
|
gptkbp:relatedTo
|
gptkb:P_vs_NP_problem
|
|
gptkbp:solvableInPolynomialTime
|
false
|
|
gptkbp:usedFor
|
benchmarking SAT solvers
|
|
gptkbp:usedIn
|
gptkb:theoretical_computer_science
gptkb:artificial_intelligence
cryptography
algorithm design
theory of computational complexity
|
|
gptkbp:yearNPCompletenessProved
|
1972
|
|
gptkbp:bfsParent
|
gptkb:Exponential_Time_Hypothesis
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
3-SAT problem
|