INVESTIGADORES
CAYMES SCUTARI Paola Guadalupe
congresos y reuniones científicas
Título:
Algoritmo para la Resolución de Problemas SAT
Autor/es:
DIAMANTE, DIEGO; CAYMES SCUTARI, PAOLA; BIANCHINI, GERMÁN
Lugar:
Los Reyunos (San Rafael, Mendoza)
Reunión:
Encuentro; VII Encuentro de Investigadores y Docentes de Ingeniería; 2013
Institución organizadora:
UTN-FRM, UNCuyo
Resumen:
Un problema de satisfacción de restricciones (SAT) es el problema de determinar si una fórmula lógica puede ser asignada de forma tal que sea evaluada como verdadera. En este artículo se introduce a los problemas SAT y MAX-SAT, con algunas de sus aplicaciones, como también la clasificación de metodologías que resuelven este tipo de problemas. Se presenta un algoritmo caracterizado por clasificar las cláusulas como indispensables o adicionales, a fin de evaluar el sistema de cláusulas de forma más eficiente. Además, si el algoritmo no encuentra la solución, entrega posibles soluciones que podrán ser utilizadas por otro método para agilizar la búsqueda de la solución. Por último, se muestran resultados de la ejecución de un ejemplo de aplicación.
