DPLL success
About 40 years old, DPLL is still the most successful complete algorithm for SAT
Intensive research on variants of DPLL in the 90s
- mostly very close to the 1962 version
Implementation can be very efficient
Most work on finding good heuristics
- Good heuristics should find solution quickly
- or work out quickly that there is no solution