
Random 3-Sat DPLL performance and probability of being satisfiable.gif  bib:cook97finding page: 8
Median DP steps for random k-Sat: varying c for selected values of k  bib: mitchell96some p.:4
DP steps for random 3-SAT_ selected values of n.gif  bib: mitchell96some p.:6