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:
Google Scholar
Microsoft Academic
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.