Resolución de problemas 3SAT utilizando redes neuronales

El problema de satisfactibilidad (SAT) es un problema complejo y su estudio implica considerar instancias grandes de dicho problema. Pero es precisamente este hecho el que lo hace atractivo y ayuda a comprender la complejidad del problema. Se han realizado muchos desarrollos en distintas áreas con e...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Kavka, Carlos, Roggero, Patricia
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
Neural nets
Resolución de problemas 3SAT
ARTIFICIAL INTELLIGENCE
redes neuronales
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21669
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares