Who defined NP, efficient reductions and completeness?
Stephen Cook in 1971 and Leonid Levin in 1973