Davis-Putnam algorithm en · PROPN
Etymology
Developed by Martin Davis and Hilary Putnam.
Meanings
- An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Davis-Putnam algorithm | canonical | lexicographic |