Image by Ogutier on Pixabay · Pixabay License
Algoritmo de Davis-Putnam
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
Article · Português
O Algoritmo de Davis-Putnam, criado por Martin Davis e Hilary Putnam, foi um dos pioneiros na área de checagem da satisfatibilidade de uma fórmula quando essa encontra-se na Forma Normal Conjuntiva (FNC). É uma forma de resolução em que cada variável é escolhida pelo fato de se poder resolver todas as cláusulas em que a mesma está contida na sua forma positiva com qualquer cláusula em que ela encontre-se em sua forma negada.
Abstract from DBpedia / Wikipedia · CC BY-SA