GISELA-TRA-2012-080

Algoritmo Genético para la solución del problema SAT

Lara, A. (UPEMOR) ; Clemente, R. (UPEMOR)

26/06/2012

Abstract: El problema de Satisfacibilidad (SAT). Algoritmos Genéticos. Objetivo. miagp-portlet. Interfaz grafica de miagp-portlet. Conclusiones. Trabajos futuros.

Keyword(s): science-gateway ; AGP ; SAT ; life-science

 

 Record created 2012-08-08, last modified 2012-08-08


external link:
Download fulltext
Access to Fulltext
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)