The theorem is named after Stephen Cook and Leonid Levin.
Το θεώρημα ονομάστηκε από τον Στέφεν Κουκ (Stephen Cook) και τον Λεονίντ Λέβιν (Leonid Levin).