Universitat de Lleida
Universitat de Lleida. Escola Politècnica Superior
Ansótegui Gil, Carlos José
2012-02-07T12:00:15Z
2012-07-17T07:50:59Z
2012-02-07T12:00:15Z
2012-07-17T07:50:59Z
2011-09
2012-02-07
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.
Project / Final year job or degree
Spanish
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/
Treballs de l'estudiantat [3386]
