Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Resolución de problemas 3SAT utilizando redes neuronales

2001
 
Tipo de documento: Objeto de conferencia

Resumen

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 el fin de obtener buenos resultados para este problema. En este trabajo se propone una aproximación que usa Redes Neuronales para dar solución a algunas instancias de este problema tan particular e interesante. Las Redes Neuronales tienen una gran capacidad para aprender a resolver problemas complejos y poseen la característica de poder generalizar, puntos importantes en al resolución de instancias de SAT

Notas

Eje: Inteligencia Computacional - Metaheurísticas

Información general

Fecha de exposición: mayo 2001
Fecha de publicación: 2001
Idioma del documento: Español
Evento: III Workshop de Investigadores en Ciencias de la Computación
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (153.8Kb) - PDF
 
Creado el: 27 de septiembre de 2012
Disponible en SEDICI desde: 27 de septiembre de 2012
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/21669

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)