Mostrar o rexistro simple do ítem

dc.contributor.advisorCabalar, Pedro
dc.contributor.advisorSantos Reyes, José
dc.contributor.authorFramil de Amorín, Manuel
dc.contributor.otherEnxeñaría informática, Grao enes_ES
dc.date.accessioned2022-02-01T16:27:40Z
dc.date.available2022-02-01T16:27:40Z
dc.date.issued2021
dc.identifier.urihttp://hdl.handle.net/2183/29521
dc.description.abstract[Resumen] En este proyecto se ha desarrollado un algoritmo capaz de resolver el problema MaxSAT empleando un algoritmo evolutivo híbrido o memético, que combina el algoritmo evolutivo de Evolución Diferencial con GSAT y RandomWalk, dos heurísticas de búsqueda local específicas de MaxSAT. El algoritmo desarrollado ha sido empleado para resolver benchmarks recientes de la Evaluación MaxSAT 2020. Se ha comparado el funcionamiento del algoritmo con el de los mejores solvers presentados en la Evaluación MaxSAT 2020, alcanzando el estado del arte tanto en la calidad de las soluciones como en el tiempo de cómputo requerido para obtenerlas.es_ES
dc.description.abstract[Abstract]In this project, an algorithm capable of solving the MaxSAT problem has been developed using a hybrid evolutionary or memetic algorithm, which combines the evolutionary algorithm of Differential Evolution with GSAT and RandomWalk, two MaxSAT-specific local search heuristics. The algorithm developed has been used to solve recent benchmarks of the MaxSAT Evaluation 2020. The performance of the algorithm has been compared with that of the best solvers presented in the MaxSAT Evaluation 2020, reaching the state of the art both in the quality of the solutions and in the computing time required to obtain them.es_ES
dc.language.isospaes_ES
dc.rightsAtribución-NoComercial-SinDerivadas 3.0 Españaes_ES
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.subjectMaxSATes_ES
dc.subjectEvolución Diferenciales_ES
dc.subjectAlgoritmo Meméticoes_ES
dc.subjectGSATes_ES
dc.subjectRandomWalkes_ES
dc.subjectEvaluación MaxSATes_ES
dc.titleResolución de problemas MaxSAT a través de Evolución Diferenciales_ES
dc.typeinfo:eu-repo/semantics/bachelorThesises_ES
dc.rights.accessinfo:eu-repo/semantics/openAccesses_ES
dc.description.traballosTraballo fin de grao. Enxeñaría Informática. Curso 2020/2021es_ES


Ficheiros no ítem

Thumbnail
Thumbnail

Este ítem aparece na(s) seguinte(s) colección(s)

Mostrar o rexistro simple do ítem