The science of brute force

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.1K citations · Full text

Engineering, Verification, Automated Proof +17

On a Problem of Formal Logic

Frank Plumpton Ramsey · Proceedings of the London Mathematical Society · 1930 · 1.9K citations

Formal Logic, Engineering, Automated Reasoning +5

Bounded Model Checking Using Satisfiability Solving

Edmund M. Clarke, Armin Biere, Richard Raimi et al. · Formal Methods in System Design · 2001 · 667 citations

Satisfiability modulo theories

Leonardo de Moura, Nikolaj Bjørner · Communications of the ACM · 2011 · 615 citations

Decision Procedure, Engineering, Automated Reasoning +13

Small Ramsey Numbers

Stanisław Radziszowski · The Electronic Journal of Combinatorics · 2011 · 428 citations · Full text

Ramsey Numbers, Graph Minor, Specific Graph +10