Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/469
| Title: | Disseny, implementació i avaluació d'algorismes Max-SAT multivaluats |
| Author: | Barroso Iglesias, David |
| Tutor: | Torra, Vicenç  |
| Others: | Universitat Oberta de Catalunya |
| Abstract: | The aim of this project is to define the Max-SAT problem with multievaluated encoding, to implement exact algorithms to solve the problem and to construct a random problem generator to allow evaluation of these algorithms. |
| Document type: | info:eu-repo/semantics/bachelorThesis |
| Issue Date: | 16-Feb-2010 |
| Appears in Collections: | Bachelor thesis, research projects, etc. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 27945tfc.pdf | 211,56 kB | Adobe PDF |  View/Open |
Share:
Google Scholar
Microsoft Academic
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.