1.Previous
3.Next

and co-developed the Davis-Putnam-Logemann-Loveland (DPLL) algorithm, which is foundational for Boolean satisfiability solvers.

Davis won the Leroy P. Steele Prize, the Chauvenet Prize (with Reuben Hersh), and the Lester R. Ford Award. He was a fellow

1.Previous
3.Next