Cook's theorem

English

Etymology

Named after Stephen Cook.

Proper noun

Cook's theorem

  1. (computing theory) Synonym of Cook-Levin theorem.