上传者: lxr1207
|
上传时间: 2021-12-21 00:14:09
|
文件大小: 1.73MB
|
文件类型: -
Davis is the co-inventor of the Davis–Putnam algorithm and the DPLL algorithms. He is also known for his model of Post–Turing machines, and his work on Hilbert's tenth problem leading to the MRDP theorem.