Martin Davis
From Free net encyclopedia
Martin Davis, (born 1926, New York City) is an American mathematician, known for his work on Hilbert's tenth problem. He is Professor Emeritus at New York University. He is the co-inventor of the Davis-Putnam and the DPLL algorithms.
[edit]