Limitando a vista de proxectos nas seguintes categorías:
Colectivo de interese :: Universidades [Eliminar este filtro]
Tópico :: Científico :: Intelixencia Artificial [Eliminar este filtro]
Contorno :: Consola [Eliminar este filtro]
Localización > Galego |
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 |
energlia
- Aplicación web para a xestión de programas en diferentes contas de CPDs que conteñan un sistema de reparto de traballos baseado en NQS coa que se reparta a carga entre as diferentes colas. | |
|
Percentil da actividade:0.00 Rexistrado:AM-09-30 10:22 |