Discusión:Algoritmo DPLL

Algoritmo DPLL ha pasado por una revisión por pares en la que se pueden encontrar consejos para mejorar el artículo. Historial de eventos para este artículo Revisión por pares realizada el 22/02/2009 sobre esta versión. Resultado: REVISADO

Enlaces rotos

• http://redalyc.uaemex.mx/redalyc/pdf/925/92572004.pdf

Elvisor (discusión) 04:14 18 may 2013 (UTC)

Enlaces rotos

• http://redalyc.uaemex.mx/redalyc/pdf/925/92572004.pdf

Elvisor (discusión) 22:33 24 nov 2015 (UTC)

Algoritmo -> Eliminación pura literal

Se necesita algún tipo de referencia para afirmar que las implementaciones actuales omiten la eliminación literal pura ya que contradice otras fuentes que afirman que no se elimina en implementaciones actuales sino que se estan buscando estructuras de datos que permitan hacer esa operación en menos tiempo.

Jackzriel (discusión) 06:21 10 may 2016 (UTC)