Discusión:Algoritmo DPLL
Último comentario: hace 8 años por Jackzriel en el tema Algoritmo -> Eliminación pura literal
![]() |
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
editarEnlaces rotos
editarAlgoritmo -> Eliminación pura literal
editarSe 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.