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 | |
Tags: ia, maxsat, ed, evolucion diferencial, tfg, algoritmos evolutivos, c, concurso | |
|
Activity Percentile: 0 Activity Ranking: 0 Registered: 2021-10-06 08:04 |
Web do audiovisual escolar galego - Máis de 800 vídeos de toda Galicia. A maior videoteca do audiovisual escolar galego. Disfruta dos finalistas e gañadores en diversos concursos e festivais. Garda os teus favoritos e propón novos vídeos. Organiza o teu propio concurso audiovisual!! | |
Tags: audiovisual, ensino, video, concurso | |
|
Activity Percentile: 0 Activity Ranking: 0 Registered: 2017-09-29 18:30 |