Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02106418n
Noun Concept
Categories: Algoritmos SAT
ES
Algoritmo DPLL
ES
El algoritmo DPLL/Davis-Putnam-Logemann-Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfactibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el problema CNF-SAT. Wikipedia
Definitions
Relations
Sources
ES
El algoritmo DPLL/Davis-Putnam-Logemann-Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfactibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el problema CNF-SAT. Wikipedia
IS A
algoritmo de búsqueda
HAS PART
EN
unit propagation
AUTHOR
Donald W. Loveland
Hilary Putnam
Martin Davis
George Logemann
NAMED AFTER
Donald W. Loveland
Hilary Putnam
Martin Davis
George Logemann
SOLVES
problema de satisfacibilidad booleana
Wikipedia
ES
Algoritmo DPLL
Wikidata
ES
Algoritmo DPLL
Wikipedia Translations
ES
algoritmo dpll

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