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

dc.contributorUniversitat de Lleida. Escola Politècnica Superiorca_ES
dc.contributorAnsótegui Gil, Carlos Joséca_ES
dc.contributor.authorBelenguer Seuma, Andreuca_ES
dc.date.accessioned2012-02-07T12:00:15Zca_ES
dc.date.accessioned2012-07-17T07:50:59Z
dc.date.available2012-02-07T12:00:15Zca_ES
dc.date.available2012-07-17T07:50:59Z
dc.date.created2011-09ca_ES
dc.date.issued2012-02-07ca_ES
dc.description.abstractPresentació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.spa
dc.embargo.termscapcat
dc.format.extent46 p.cat
dc.identifier.urihttp://hdl.handle.net/10459.1/45731
dc.language.isospacat
dc.rightsinfo:eu-repo/semantics/openAccessca_ES
dc.rightsL'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/ca_ES
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca_ES
dc.sourceRECERCAT (Dipòsit de la Recerca de Catalunya)ca_ES
dc.subject.otherProgramació linealca_ES
dc.subject.udc004 - Informàticacat
dc.titleResolución de los problemas MaxSAT y MinSAT mediante programación lineal enteracat
dc.typeinfo:eu-repo/semantics/bachelorThesiscat
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Belenguer.pdf
Size:
307.55 KB
Format:
Adobe Portable Document Format
Description:
Treball