Davis-Putnam algorithm (English, name)
expansion: the Davis-Putnam algorithm
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
Forms:
form: the Davis-Putnam algorithm
tags: canonical