The theorem is named after Stephen Cook and Leonid Levin .
The theorem is named after Stephen Cook and Leonid Levin , who first described it in the 1970s .