firstNPCompleteProblem

URI: https://gptkb.org/prop/firstNPCompleteProblem
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Boolean_satisfiability_problem_(SAT) true
gptkb:boolean_satisfiability_problem yes
gptkb:SAT_problem yes