Satisfiability and Automated Reasoning
Lecture 2
Classical satisfiability algorithms
- resolution method
- Davis-Putnam algorithm
- Davis-Putnam-Logemann-Loveland (DPLL) algorithm
- practical implementation of DPLL
Classical satisfiability algorithms