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:
Google Scholar
Microsoft Academic
Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.