Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/469
Títol: | Disseny, implementació i avaluació d'algorismes Max-SAT multivaluats |
Autoria: | Barroso Iglesias, David |
Tutor: | Torra, Vicenç |
Altres: | Universitat Oberta de Catalunya |
Resum: | La finalitat d'aquest projecte és definir el problema Max-SAT amb codificació multiavaluada, implementar algorismes exactes de resolució del problema i construir un generador aleatori de problemes que permeti avaluar aquests algorismes. |
Tipus de document: | info:eu-repo/semantics/bachelorThesis |
Data de publicació: | 16-feb-2010 |
Apareix a les col·leccions: | Bachelor thesis, research projects, etc. |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
27945tfc.pdf | 211,56 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.