El algoritmo DPLL/Davis-Putnam-Logemann-Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfacibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el problema CNF-SAT. Fue presentado en 1962 por Martin Davis, Hilary Putnam, George Logemann y Donald W. Loveland y es una refinación del previo algoritmo de Davis-Putnam, el cual es un procedimiento de resolución desarrollado por Davis y Putnam en 1960.

Authorlink
  • Martin Davis (es)
Autor
  • Ansotegui, Carlos; Manyà Felip (es)
Año
  • 2003 (xsd:integer)
Coauthors
rdfs:comment
  • El algoritmo DPLL/Davis-Putnam-Logemann-Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfacibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el problema CNF-SAT. Fue presentado en 1962 por Martin Davis, Hilary Putnam, George Logemann y Donald W. Loveland y es una refinación del previo algoritmo de Davis-Putnam, el cual es un procedimiento de resolución desarrollado por Davis y Putnam en 1960. (es)
Date
  • 1960 (xsd:integer)
  • 1962 (xsd:integer)
Doi
  • 101016 (xsd:integer)
  • 101145 (xsd:integer)
First
  • Martin (es)
  • Ming (es)
Id
  • ISSN , 2-10 (es)
foaf:isPrimaryTopicOf
Issue
  • 1 (xsd:integer)
  • 3 (xsd:integer)
  • 7 (xsd:integer)
Journal
rdfs:label
  • Algoritmo DPLL (es)
Last
  • Davis (es)
  • Ouyang (es)
Número
  • 20 (xsd:integer)
Pages
  • 201 (xsd:integer)
  • 281 (xsd:integer)
  • 394 (xsd:integer)
Is foaf:primaryTopic of
Revista
  • Revista Iberoamericana de Inteligencia Artificial (es)
dcterms:subject
Title
  • A Computing Procedure for Quantification Theory (es)
  • A Machine Program for Theorem Proving (es)
  • How Good Are Branching Rules in DPLL? (es)
Título
  • Una Introducción a los Algoritmos de Satisfactibilidad (es)
Url
Volume
  • 5 (xsd:integer)
  • 7 (xsd:integer)
  • 89 (xsd:integer)
Volumen
  • 7 (xsd:integer)
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 771951 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 5563 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 22 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 69001358 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [18 values]
Is dbpedia-owl:wikiPageWikiLink of
Year
  • 1998 (xsd:integer)