411 REFERENCE · Wiktionary
Davis-Putnam algorithm
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Developed by Martin Davis and Hilary Putnam.
Proper noun
1
en logic An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
Related terms
en Davis-Putnam procedure
en eponyms