Resolución de los problemas MaxSAT y MinSAT mediante programación lineal entera
| Contribuinte(s) |
Universitat de Lleida. Escola Politècnica Superior Ansótegui Gil, Carlos José |
|---|---|
| Data(s) |
07/02/2012
|
| Resumo |
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. |
| Formato |
46 p. |
| Identificador | |
| Idioma(s) |
spa |
| Direitos |
info:eu-repo/semantics/openAccess 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/ |
| Fonte |
RECERCAT (Dipòsit de la Recerca de Catalunya) |
| Palavras-Chave | #Programació lineal #004 - Informàtica |
| Tipo |
info:eu-repo/semantics/bachelorThesis |
