Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
gptkb:Boolean_satisfiability_problem |
| gptkbp:clause_type |
monotone
|
| gptkbp:definedIn |
3-SAT where each clause contains only positive or only negative literals
|
| gptkbp:field |
gptkb:theoretical_computer_science
|
| gptkbp:first_proven_NP-complete_by |
Berman, Karp (1978)
|
| gptkbp:NP-complete |
true
|
| gptkbp:number_of_literals_per_clause |
3
|
| gptkbp:relatedTo |
gptkb:3-SAT
gptkb:SAT monotone SAT |
| gptkbp:subclassOf |
gptkb:3-SAT
monotone SAT |
| gptkbp:bfsParent |
gptkb:Monotone_satisfiability
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
monotone 3-SAT
|