In his seminal 1971 paper "The Complexity of Theorem Proving Procedures", Cook formalized the notions of polynomial-time reduction (a.k.a.
В своей работе "«The Complexity of Theorem Proving Procedures»" Кук доказал, что задача выполнимости булевых формул является NP-полной.