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
id I19-R120-10915-21669
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Neural nets
Resolución de problemas 3SAT
ARTIFICIAL INTELLIGENCE
redes neuronales
spellingShingle Ciencias Informáticas
Neural nets
Resolución de problemas 3SAT
ARTIFICIAL INTELLIGENCE
redes neuronales
Kavka, Carlos
Roggero, Patricia
Resolución de problemas 3SAT utilizando redes neuronales
topic_facet Ciencias Informáticas
Neural nets
Resolución de problemas 3SAT
ARTIFICIAL INTELLIGENCE
redes neuronales
description 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
format Objeto de conferencia
Objeto de conferencia
author Kavka, Carlos
Roggero, Patricia
author_facet Kavka, Carlos
Roggero, Patricia
author_sort Kavka, Carlos
title Resolución de problemas 3SAT utilizando redes neuronales
title_short Resolución de problemas 3SAT utilizando redes neuronales
title_full Resolución de problemas 3SAT utilizando redes neuronales
title_fullStr Resolución de problemas 3SAT utilizando redes neuronales
title_full_unstemmed Resolución de problemas 3SAT utilizando redes neuronales
title_sort resolución de problemas 3sat utilizando redes neuronales
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/21669
work_keys_str_mv AT kavkacarlos resoluciondeproblemas3satutilizandoredesneuronales
AT roggeropatricia resoluciondeproblemas3satutilizandoredesneuronales
bdutipo_str Repositorios
_version_ 1764820464791715842

Ejemplares similares