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
|
Enlaces rotos[editar]
Elvisor (discusión) 04:14 18 may 2013 (UTC)
Enlaces rotos[editar]
Elvisor (discusión) 22:33 24 nov 2015 (UTC)
Algoritmo -> Eliminación pura literal[editar]
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.