Image by Ogutier on Pixabay · Pixabay License
Алгоритм Дэвиса — Патнема
Sign in to saveAlso known as Davis-Putnam algorithm, Davis–Putnam procedure
algorithm for check the validity of a logic formula
Wikidata facts
- Instance of
- algorithm
- Named after
- Hilary Putnam
Show 1 more fact
- computes solution to
- boolean satisfiability problem
Sources (1)
via Wikidata · CC0