Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:application |
gptkb:artificial_intelligence
automated theorem proving circuit design |
| gptkbp:complexity |
NP-complete
|
| gptkbp:definedIn |
determining if there exists an interpretation that satisfies a given logical formula
|
| gptkbp:field |
gptkb:logic
computer science |
| gptkbp:hasVariant |
gptkb:3-SAT
gptkb:Horn-SAT gptkb:k-SAT |
| gptkbp:relatedTo |
gptkb:logic
gptkb:Boolean_satisfiability_problem |
| gptkbp:solvedBy |
gptkb:Boolean_satisfiability_problem
|
| gptkbp:studiedBy |
20th century
|
| gptkbp:bfsParent |
gptkb:Exponential_Time_Hypothesis
gptkb:Quantified_Boolean_Formula |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Satisfiability problem
|