Davis-Putnam algorithm

Proper noun

Meaning

the Davis-Putnam algorithm

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

Source: en.wiktionary.org

Related terms

Davis-Putnam procedure

Close letter words and terms

Davis Strait Davis wood sedge Davis' Birthday Davis-Putnam procedure Davisian Davison