Un ambiente integrado de ejecución para determinar la satisfacibilidad de fórmulas en forma normal conjuntiva

El problema de satisfacibilidad (SAT), el primero en demostrarse que es NP-completo, es fundamental en muchos campos de las ciencias de la computación, la ingeniería eléctrica y matemática. En el presente trabajo se integran todas las componentes del sistema DPLL con Redes Neuronales (DPLL RN), para...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Funez, Dario, Roggero, Patricia, Leguizamón, Guillermo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2006
Materias:
Ciencias Informáticas
DPLL
Neural nets
Davis-Putnam
Environments
Algorithms
NP-completo
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22828
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares