NP-completeFor

2 triples
GPTKB property

Random triples
Subject Object
gptkb:NAE-SAT 3-NAE-SAT
gptkb:k-SAT k ≥ 3