English[edit]
Etymology[edit]
Developed by Martin Davis and Hilary Putnam.
Proper noun[edit]
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.
Related terms[edit]