firstProvedNPCompleteBy

URI: https://gptkb.org/prop/firstProvedNPCompleteBy
15 triples
GPTKB property
Random triples
Subject Object
gptkb:3-satisfiability gptkb:Stephen_Cook
gptkb:Generalized_Tetris gptkb:Erik_D._Demaine
gptkb:Planar_SAT gptkb:David_Lichtenstein
gptkb:CNF-SAT gptkb:Stephen_Cook
gptkb:vertex_cover_problem gptkb:Richard_Karp
gptkb:3SAT gptkb:Richard_Karp
gptkb:Graph_3-Colorability gptkb:Richard_Karp
gptkb:Planar_SAT gptkb:Michael_Sipser
gptkb:3-coloring_problem gptkb:Richard_Karp
gptkb:3-SAT_problem gptkb:Richard_Karp
gptkb:Clique_problem gptkb:Richard_Karp
gptkb:Traveling_Salesman_Problem_(decision_version) gptkb:Richard_Karp
gptkb:3-satisfiability gptkb:Richard_Karp
gptkb:Not-All-Equal_3SAT gptkb:Schaefer
gptkb:Traveling_salesman_problem_(decision_version) gptkb:Richard_Karp