|
gptkb:3-SAT_problem
|
true
|
|
gptkb:NAE-3SAT
|
true
|
|
gptkb:3-SAT
|
true
|
|
gptkb:Exact_cover_by_3-sets
|
true
|
|
gptkb:Not-All-Equal_SAT
|
true
|
|
gptkb:Set_Covering_Problem
|
Yes
|
|
gptkb:planar_3-SAT
|
true
|
|
gptkb:Vertex_Cover
|
Yes
|
|
gptkb:Exact_Cover_by_3-Sets
|
yes
|
|
gptkb:Coin_Change_Problem
|
no
|
|
gptkb:monotone_3-SAT
|
true
|
|
gptkb:Hamiltonian_Path
|
Decision problem of existence
|
|
gptkb:Vertex_cover
|
Yes
|
|
gptkb:Not-All-Equal_3SAT
|
true
|
|
gptkb:Knapsack_problem
|
yes
|
|
gptkb:Dominating_Set
|
minimum dominating set problem
|
|
gptkb:3SAT
|
true
|
|
gptkb:Hitting_Set
|
Yes
|
|
gptkb:Hamiltonian_Circuit
|
gptkb:Decision_Problem
|