Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02092660n
Noun Concept
Categories: Algoritmos SAT, Algoritmos epónimos en matemáticas
ES
algoritmo de Davis-Putnam  Algoritmo de Davis Putnam
ES
El algoritmo de Davis-Putnam fue desarrollado por Martin Davis y Hilary Putnam para comprobar la satisfacibilidad de las fórmulas de la lógica proposicional en forma normal conjuntiva, es decir, en conjuntos de cláusulas. Wikipedia
Definitions
Relations
Sources
ES
El algoritmo de Davis-Putnam fue desarrollado por Martin Davis y Hilary Putnam para comprobar la satisfacibilidad de las fórmulas de la lógica proposicional en forma normal conjuntiva, es decir, en conjuntos de cláusulas. Wikipedia
IS A
algoritmo
NAMED AFTER
Hilary Putnam
Martin Davis
Wikipedia
ES
algoritmo de Davis-Putnam
Wikidata
ES
Algoritmo de Davis-Putnam
Wikipedia Redirections
ES
Algoritmo de Davis Putnam
Wikidata Alias
ES
Algoritmo de Davis Putnam

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License