Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- El algoritmo DPLL/Davis-Putnam-Logemann-Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfactibilidad de las…6 kB (822 palabras) - 12:55 21 jun 2024
- 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…2 kB (233 palabras) - 15:43 18 sep 2019