Cook's theorem en · PROPN EtymologyNamed after Stephen Cook. Meanings Synonym of Cook-Levin theorem. Synonyms Cook-Levin theorem