Whom did Hilary Putnam develop the Davis-Putnam algorithm with?
Martin Davis
John Davis
Charles Davis
Roger Davis
Answer
Hilary Putnam and Martin Davis co-developed the Davis-Putnam algorithm in 1960. The Davis-Putnam algorithm is an iterative algorithm for proving the satisfiability of a Boolean formula. It is a variant of the DPLL algorithm, and is often used as a benchmark for testing the performance of new SAT solvers.
Unraveling the Intellectual Odyssey: A Quiz on the Life and Ideas of Hilary Putnam
More Questions
Which one of Hilbert's problems did Hilary Putnam help demonstrate the unsolvability of?
What was Putnam known for in the philosophy of mind?
Along with who, did Putnam develop the causal theory of reference?
What did Putnam introduce in his original theory of meaning?
What indispensability argument did Putnam and Quine develop?
Related Quizzes
Subscribe Now!
Learn something
new everyday
Playing quizzes is free! We send 1 quiz every week to your inbox