Wiktionary

Davis-Putnam algorithm

English edit

 
English Wikipedia has an article on:
Wikipedia

Etymology edit

Developed by Martin Davis and Hilary Putnam.

Proper noun edit

the Davis-Putnam algorithm

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

Related terms edit

Retrieved from "https://en.wiktionary.org/w/index.php?title=Davis-Putnam_algorithm&oldid=77945717"