Wikiproyecto:Revisión por pares/Algoritmo DPLL/archivo1

Algoritmo DPLL[editar]

Esta revisión por pares ya está cerrada.

Pido una revisión por pares para este artículo porque creo que esta completo y quisiera nominarlo como articulo bueno. Espero cualquier comentario para realizar posibles correcciones.

Gracias, Chirick 07:50 14 jul 2010 (UTC)

Que es:

el ingenuo espacio de búsqueda?
La polaridad de la fórmula?

He visto cierta complejidad en el lenguaje utilizado, habría que bajarle el nivel dejando los conceptos técnicos para que los lectores sin conocimientos del tema puedan entender de lo que se trata, en la versión en inglés hay un pseudocódigo que aca se omite, habría que incluirlo (y explicarlo además). Además, se usa en la práctica? Presenta bibliografía pero no notas al pie, sobre todo en la sección Trabajo Actual que puede ser necesaria y además carece de enlaces internos, tiene muy pocos, por ahora esto Esteban (discusión) 23:57 15 jul 2010 (UTC)

Sería bonito que la primera frase se ampliara hasta conformar un párrafo, de forma que se tenga una idea de lo que es el algoritmo sin entrar en los cuatro o cinco artículos sobre términos técnicos. La información «El problema SAT se trata de un problema [sic] donde interesa saber si una expresión booleana con variables y sin cuantificadores tiene asociada una asignación de valores para sus variables que hace que la expresión sea verdadera.» que he de ir a buscar a Problema de satisfacibilidad booleana creo que hace falta en la entradilla (quizá mejor redactada y con términos aún más simples, o al menos con enlaces a los términos técnicos), para dejar claro lo que se está resolviendo con el algoritmo. Lo mismo, vuelta atrás si es una estrategia para encontrar soluciones a problemas que satisfacen restricciones a base de recorrer en profundidad un grafo en forma de árbol, esta es una información que, en la entradilla, ayudaría enormemente a situarse en lo que es el algoritmo del que se está hablando. -- 4lex (discusión) 02:23 17 jul 2010 (UTC)