Word.ws English Dictionary

Davis-Putnam algorithm

Davis-Putnam algorithm proper noun: an algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

Proper noun

the Davis-Putnam algorithm

  1. An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

Origin of Davis-Putnam algorithm

Developed by Martin Davis and Hilary Putnam.

Questions about Davis-Putnam algorithm

What does Davis-Putnam algorithm mean?
Davis-Putnam algorithm means an algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
What part of speech is Davis-Putnam algorithm?
Davis-Putnam algorithm is a proper noun.

Words near Davis-Putnam algorithm in the dictionary

  1. Davis Junction
  2. Davis Line
  3. Davis Station
  4. Davis Strait
  5. Davis-Barnes effect
  6. Davis-Putnam algorithm
  7. Davises
  8. Davisian
  9. Davison
  10. Davison County
  11. Davisson

Source and license

Adapted from Wiktionary: Davis-Putnam algorithm (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Davis-Putnam algorithm.” Word.ws, https://word.ws/davis-putnam_algorithm. Based on Wiktionary, CC BY-SA 4.0.