Disseny, implementació i avaluació d'algorismes Max-SAT multivaluats

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/10609/469

Title:	Disseny, implementació i avaluació d'algorismes Max-SAT multivaluats
Author:	Barroso Iglesias, David
Other authors:	Universitat Oberta de Catalunya
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.
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.
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.
Publication date:	2010-06-10
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 (http://creativecommons.org/licenses/by-nc-nd/2.5/es/)
Document type:	Bachelor thesis
Published by:	Universitat Oberta de Catalunya
Share:

Coordination

Supporters