dc.contributor
Universitat Oberta de Catalunya
dc.contributor.author
Barroso Iglesias, David
dc.date
2010-02-16T11:46:03Z
dc.date
2010-02-16T11:46:03Z
dc.date.accessioned
2010-06-10T10:50:28Z
dc.date.available
2010-06-10T10:50:28Z
dc.date.issued
2010-06-10T10:50:28Z
dc.identifier.uri
http://hdl.handle.net/10609/469
dc.description.abstract
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.
dc.description.abstract
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.
dc.description.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.
dc.publisher
Universitat Oberta de Catalunya
dc.rights
Aquest document està subjecte a una llicència d'ús de Creative Commons, amb la qual es permet copiar, distribuir i comunicar públicament l'obra sempre que se'n citin l'autor original, la universitat i la facultat i no se'n faci cap ús comercial ni obra derivada, tal com queda estipulat en la llicència d'ús (<a href="http://creativecommons.org/licenses/by-nc-nd/2.5/es/">http://creativecommons.org/licenses/by-nc-nd/2.5/es/</a>)
dc.title
Disseny, implementació i avaluació d'algorismes Max-SAT multivaluats
