Davis–Putnam algorithm

Summary

Davis–Putnam algorithm is an algorithm^[1]. It draws 27 Wikipedia views per month (algorithm category, ranking #133 of 337).^[2]

Key Facts

• Davis–Putnam algorithm's instance of is recorded as algorithm^[3].
• Martin Davis is named after Davis–Putnam algorithm^[4].
• Hilary Putnam is named after Davis–Putnam algorithm^[5].
• Davis–Putnam algorithm's Freebase ID is recorded as /m/07_p4x^[6].
• Davis–Putnam algorithm's computes solution to is recorded as boolean satisfiability problem^[7].
• Davis–Putnam algorithm's Microsoft Academic ID is recorded as 2780912396^[8].

Body

Designation and Status

Davis–Putnam algorithm's instance of is recorded as algorithm^[3].

History and Context

Things named after include Martin Davis^[4], a mathematician^[9], 1928–2023^[10], of United States^[11], awarded the Herbrand Award^[12], specialised in number theory^[13] and Hilary Putnam^[5], a mathematician^[14], 1926–2016^[15], of United States^[16], awarded the Nicholas Rescher Prize for Systematic Philosophy^[17], specialised in philosophy^[18].

Why It Matters

Davis–Putnam algorithm draws 27 Wikipedia views per month (algorithm category, ranking #133 of 337).^[2] It has Wikipedia articles in 10 language editions, a strong signal of global cultural recognition.^[19] It is known by 16 alternative names across languages and contexts.^[20]