Standard Procedures For SAT
Systematic search for a satisfying assignment.
Interesting situation:
- Davis-Putnam (DP) procedure, proposed in 1960, is still the fastest complete method!
- Backtrack-style procedure with unit propagation.
SAT Competition 1992; DIMACS Challenge 1993 / 1994