Limitando a vista de proxectos nas seguintes categorías:
Colectivo de interese :: Universidades [Eliminar este filtro]
Estado de madurez :: 4 - Beta [Eliminar este filtro]
Tópico :: Científico :: Intelixencia Artificial [Eliminar este filtro]
Contorno > Consola |
Navegar por: |
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
| |
|
Percentil da actividade:0.00 Rexistrado:AM-10-06 08:04 |