Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/469
Título : | Disseny, implementació i avaluació d'algorismes Max-SAT multivaluats |
Autoría: | Barroso Iglesias, David |
Tutor: | Torra, Vicenç |
Otros: | Universitat Oberta de Catalunya |
Resumen : | La finalidad de este proyecto es definir el problema Max-SAT con codificación multievaluada, implementar algoritmos exactos de resolución del problema y construir un generador aleatorio de problemas que permita evaluar estos algoritmos. |
Tipo de documento: | info:eu-repo/semantics/bachelorThesis |
Fecha de publicación : | 16-feb-2010 |
Aparece en las colecciones: | Bachelor thesis, research projects, etc. |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
27945tfc.pdf | 211,56 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.