Solucionador DEMaxSAT - En este proxecto desenvolveuse unha ferramenta de resolución de problemas MaxSAT empregando Evolución Diferencial. MaxSAT é a versión de optimización de SAT, un problema NP-Completo. Evolución Diferencial (ED) por outro lado é un algoritmo genético que se basea na evolución darwiniana para optmizar unha función obxectico. Este resolutor combina ED con heurísticas propias de MaxSAT, definindo así unha hibridación memética, para resolver o problema MaxSAT. O algoritmo desenvolvido consegue alcanzar (e superar en determinados benchmarks) ó estado do arte dos resolutores MaxSAT incompletos. O obxectivo é seguir mellorando este proxecto para presentalo na Evaluación MaxSAT de 2022 (https://maxsat-evaluations.github.io/). Repositorio do proxecto: https://github.com/Manuframil/DEMaxSatSolver | |
Etiquetas:ia, maxsat, ed, evolucion diferencial, tfg, algoritmos evolutivos, c, concurso | |
|
Percentil da actividade: 0 Nivel de actividade: 0 Rexistrado:AM-10-06 08:04 |