Original: That is, any problem in NP can be reduced in polynomial time by a deterministic Turing machine to the problem of determining whether a Boolean formula is satisfiable.
Simplified: The theorem is named after Stephen Cook and Leonid Levin.