Stephen Cook
(2 articles)
1960
Satisfiability
The problem of determining if there exists an interpretation that satisfies a given logical formula.
Generality: 775
1971
Computational Complexity Theory
A branch of theoretical computer science that focuses on classifying computational problems based on their inherent difficulty and the resources required to solve them.
Generality: 500