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