Branching rules for satisfiability

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.1K citations · Full text

Engineering, Verification, Automated Proof +17

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

Computational Complexity Theory, Engineering, Constructive Logic +18

The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization

Journal of the Operational Research Society · 1986 · 1.7K citations

Design and Analysis of Experiments.

Rachel Macdonald, R. G. Petersen · Journal of the Royal Statistical Society Series A (General) · 1986 · 380 citations

Experiment Design, Design, Experimental Testing +4

Solving propositional satisfiability problems

R. G. Jeroslow, Jinchang Wang · Annals of Mathematics and Artificial Intelligence · 1990 · 254 citations

Engineering, Automated Reasoning, Propositional Logic +6