Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: 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.
07-02-2012
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
         

Documentos con el texto completo de este documento

Ficheros Tamaño Formato
Belenguer.pdf 314.9 KB PDF

Mostrar el registro completo del ítem