1. Inicio
  2. Universitat de Lleida
  3. Treballs de l'estudiantat
  4. Ver ítem

Resolución de los problemas MaxSAT y MinSAT mediante programación lineal entera

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: https://hdl.handle.net/10459.1/45731

Autor/a

Belenguer Seuma, Andreu

Otros/as autores/as

Universitat de Lleida. Escola Politècnica Superior

Ansótegui Gil, Carlos José

Fecha de publicación

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



Compartir

Resumen

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.

Tipo de documento

Proyecto / Trabajo fin de carrera o de grado

Lengua

Castellano

Materias y palabras clave

Programació lineal; 004 - Informàtica

Citación recomendada

Esta citación se ha generado automáticamente.

Exportar

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Derechos

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/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Treballs de l'estudiantat [3386]