NP-completeFor

URI: https://gptkb.org/prop/NP-completeFor
2 triples
GPTKB property
Random triples
Subject Object
gptkb:k-SAT k ≥ 3
gptkb:NAE-SAT 3-NAE-SAT