Heuristics based on unit propagation for satisfiability problems

The complexity of theorem-proving procedures

1971 • 6,155 citations

A machine program for theorem-proving

1962 • 3,199 citations

Hard and easy distributions of SAT problems

1992 • 815 citations

Many hard examples for resolution

1988 • 456 citations

Experimental results on the crossover point in random 3-SAT

1996 • 296 citations

Improvements to propositional satisfiability search algorithms

1995 • 274 citations

Solving propositional satisfiability problems

1990 • 255 citations

Branching rules for satisfiability

1995 • 135 citations