Not-All-Equal k-SAT

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf theoretical computer science
Boolean satisfiability problem
gptkbp:abbreviation NAE k-SAT
gptkbp:category Boolean satisfiability problem
gptkbp:complexity NP-complete (for k ≥ 3)
polynomial-time solvable (for k = 2)
gptkbp:definedIn A variant of the k-SAT problem where each clause must have at least one true and one false literal
gptkbp:generalizes gptkb:3-SAT
gptkb:2-SAT
gptkbp:hasReductionFrom gptkb:3-SAT
gptkbp:hasVariant Not-All-Equal 2-SAT
Not-All-Equal 3-SAT
https://www.w3.org/2000/01/rdf-schema#label Not-All-Equal k-SAT
gptkbp:prohibits no clause can have all literals assigned the same value
gptkbp:reduces gptkb:Max-Cut
graph coloring
gptkbp:relatedTo gptkb:k-SAT
gptkbp:studiedBy 1978
gptkbp:usedIn gptkb:complexity_theory
gptkb:logic
theoretical computer science
gptkbp:bfsParent gptkb:Not-All-Equal_3SAT
gptkbp:bfsLayer 7