monotone 3-SAT

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf theoretical computer science
Boolean satisfiability problem
gptkbp:clause_type monotone
gptkbp:definedIn 3-SAT where each clause contains only positive or only negative literals
gptkbp:field theoretical computer science
gptkbp:first_proven_NP-complete_by Berman, Karp (1978)
https://www.w3.org/2000/01/rdf-schema#label monotone 3-SAT
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 7