Image by Ogutier on Pixabay · Pixabay License
Davis–Putnam algorithm
Sign in to saveAlso known as Davis-Putnam algorithm, Davis–Putnam procedure
algorithm for check the validity of a logic formula
Connections
DPLL algorithm
Entity
logic
Entity
computer science
Entity
International Standard Book Number
Entity
digital object identifier
Entity
propositional calculus
Entity
Hilary Putnam
Entity
first-order logic
Entity
Handle System
Entity
logical equivalence
Entity
recursive set
Entity
Martin Davis
Entity
assignment
Entity
clause
Entity
resolution
Entity
prenex normal form
Entity
recursively enumerable set
Entity
Communications of the ACM
Entity
satisfiability
Entity
Journal of the ACM
Entity