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. Esto es una forma de resolución en la cual las variables son elegidas iterativamente y eliminadas mediante la resolución de cada cláusula en la que que la variable aparece afirmada con una cláusula en la que la variable es negada.

Apellido
  • Davis (es)
Año
  • 1960 (xsd:integer)
  • 1962 (xsd:integer)
Coautores
rdfs:comment
  • 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. Esto es una forma de resolución en la cual las variables son elegidas iterativamente y eliminadas mediante la resolución de cada cláusula en la que que la variable aparece afirmada con una cláusula en la que la variable es negada. (es)
Enlaceautor
  • Martin Davis (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Algoritmo de Davis-Putnam (es)
Nombre
  • Martin (es)
Número
  • 1 (xsd:integer)
  • 7 (xsd:integer)
Is foaf:primaryTopic of
Páginas
  • 201 (xsd:integer)
  • 394 (xsd:integer)
Revista
  • Communications of the ACM (es)
  • Journal of the ACM (es)
dcterms:subject
Título
  • A Computing Procedure for Quantification Theory (es)
  • A Machine Program for Theorem Proving (es)
Url
Volumem
  • 7 (xsd:integer)
Volumen
  • 5 (xsd:integer)
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 739990 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2105 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 11 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 73971018 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of