firstNPCompleteProblem

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