DPLL algorithm

Summary

DPLL algorithm is a search algorithm^[1]. It draws 115 Wikipedia views per month (search_algorithm category, ranking #7 of 19).^[2]

Key Facts

• DPLL algorithm authored Martin Davis^[3].
• DPLL algorithm authored Hilary Putnam^[4].
• DPLL algorithm authored George Logemann^[5].
• DPLL algorithm authored Donald W. Loveland^[6].
• DPLL algorithm's image is recorded as Backtracking-no-backjumping.svg^[7].
• DPLL algorithm's instance of is recorded as search algorithm^[8].
• Martin Davis is named after DPLL algorithm^[9].
• Hilary Putnam is named after DPLL algorithm^[10].
• George Logemann is named after DPLL algorithm^[11].
• Donald W. Loveland is named after DPLL algorithm^[12].
• DPLL algorithm's based on is recorded as Davis–Putnam algorithm^[13].
• DPLL algorithm's Commons category is recorded as Davis-Putnam-Logemann-Loveland algorithm^[14].
• DPLL algorithm's has part is recorded as Unit propagation^[15].
• +1962-00-00T00:00:00Z marks the founding of DPLL algorithm^[16].
• DPLL algorithm's Freebase ID is recorded as /m/080fyp^[17].
• DPLL algorithm's computes solution to is recorded as boolean satisfiability problem^[18].
• DPLL algorithm's BabelNet ID is recorded as 02106418n^[19].
• DPLL algorithm's Microsoft Academic ID is recorded as 143936061^[20].
• DPLL algorithm's OpenAlex ID is recorded as C143936061^[21].

Body

Designation and Status

DPLL algorithm's instance of is recorded as search algorithm^[8].

History and Context

+1962-00-00T00:00:00Z marks the founding of DPLL algorithm^[16]. Things named after include Martin Davis^[9], a mathematician^[22], 1928–2023^[23], of United States^[24], awarded the Herbrand Award^[25], specialised in number theory^[26]; Hilary Putnam^[10], a mathematician^[27], 1926–2016^[28], of United States^[29], awarded the Nicholas Rescher Prize for Systematic Philosophy^[30], specialised in philosophy^[31]; George Logemann^[11], a computer scientist^[32], 1938–2012^[33], of United States^[34], specialised in computer science^[35]; and Donald W. Loveland^[12], a mathematician^[36], b. 1934^[37], of United States^[38], awarded the Herbrand Award^[39], specialised in computer science^[40].

Why It Matters

DPLL algorithm draws 115 Wikipedia views per month (search_algorithm category, ranking #7 of 19).^[2] It has Wikipedia articles in 14 language editions, a strong signal of global cultural recognition.^[41]