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

Resolución de los problemas MaxSAT y MinSAT mediante programación lineal entera
Belenguer Seuma, Andreu
Universitat de Lleida. Escola Politècnica Superior; Ansótegui Gil, Carlos José
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.
2012-02-07
Programació lineal
004 - Informàtica
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/
46 p.
info:eu-repo/semantics/bachelorThesis
         

Full text files in this document

Files Size Format
Belenguer.pdf 314.9 KB PDF

Show full item record

 

Coordination

 

Supporters