Cook's theorem
English
Etymology
Named after Stephen Cook.
Proper noun
Cook
's
theorem
(
computing
theory
)
Synonym of
Cook-Levin theorem
.