Title:
|
Resolución de los problemas MaxSAT y MinSAT mediante programación lineal entera
|
Author:
|
Belenguer Seuma, Andreu
|
Other authors:
|
Universitat de Lleida. Escola Politècnica Superior; Ansótegui Gil, Carlos José |
Notes:
|
Presentación de una traducción de los problemas MaxSAT y MinSAT a un problema de programación lineal entera e implementación de un resolutor MaxSAT y MinSAT usando Python y el software de programación lineal entera CPLEX. Evaluación de los resultados comparándolos con los de la MaxSAT Evaluation 2010. |
Subject(s):
|
-Programació lineal -004 - Informàtica |
Rights:
|
L'accés als continguts d'aquest document queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by-nc-nd/3.0/es/
|
Document type:
|
Bachelor Thesis |
Share:
|
|