English Explanatory Dictionary

Davis-Putnam algorithm

English dictionary entry

Meanings

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

Word forms

Davis-Putnam algorithm the Davis-Putnam algorithm

Etymology

Developed by Martin Davis and Hilary Putnam.

Related words

Davis-Putnam procedure
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on D Russian dictionary Dahl dictionary