2026-04-19T22:14:49Zhttps://recercat.cat/oai/request

oai:recercat.cat:10459.1/457312024-12-05T23:06:57Zcom_2072_3622col_2072_478537

Resolución de los problemas MaxSAT y MinSAT mediante programación lineal entera Belenguer Seuma, Andreu Programació lineal 004 - Informàtica 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. 2024-12-05T23:06:57Z 2024-12-05T23:06:57Z 2024-12-05T23:06:57Z 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 info:eu-repo/semantics/bachelorThesis http://hdl.handle.net/10459.1/45731 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/ info:eu-repo/semantics/openAccess RECERCAT (Dipòsit de la Recerca de Catalunya)