Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/133441
COMPARTIR / EXPORTAR:
SHARE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Ansotegui, Carlos | - |
dc.contributor.author | Bonet, María Luisa | - |
dc.contributor.author | Gabas, Joel | - |
dc.contributor.author | Levy, Jordi | - |
dc.date.accessioned | 2016-06-14T13:18:19Z | - |
dc.date.available | 2016-06-14T13:18:19Z | - |
dc.date.issued | 2013-09-16 | - |
dc.identifier | doi: 10.1007/978-3-642-40627-0_12 | - |
dc.identifier | isbn: 978-3-642-40626-3 | - |
dc.identifier.citation | Lecture Notes in Computer Science 8124. Principles and Practice of Constraint Programming, 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings. pp 117-132. | - |
dc.identifier.uri | http://hdl.handle.net/10261/133441 | - |
dc.description.abstract | Weighted Partial MaxSAT (WPMS) is an optimization variant of the Satisfiability (SAT) problem. Several combinatorial optimization problems can be translated into WPMS. In this paper we extend the state-of-the-art WPM2 algorithm by adding several improvements, and implement it on top of an SMT solver. In particular, we show that by focusing search on solving to optimality subformulas of the original WPMS instance we increase the efficiency of WPM2. From the experimental evaluation we conducted on the PMS and WPMS instances at the 2012 MaxSAT Evaluation, we can conclude that the new approach is both the best performing for industrial instances, and for the union of industrial and crafted instances. | - |
dc.description.sponsorship | This research has been partially founded by the CICYT research projects TASSAT (TIN2010-20967-C04-01/03/04) and ARINF (TIN2009-14704-C03-01) | - |
dc.publisher | Springer Nature | - |
dc.relation.isversionof | Postprint | - |
dc.rights | openAccess | - |
dc.title | Improving WPM2 for (Weighted) Partial MaxSAT | - |
dc.type | capítulo de libro | - |
dc.identifier.doi | 10.1007/978-3-642-40627-0_12 | - |
dc.date.updated | 2016-06-14T13:18:20Z | - |
dc.description.version | Peer Reviewed | - |
dc.language.rfc3066 | eng | - |
dc.contributor.funder | Ministerio de Economía y Competitividad (España) | - |
dc.relation.csic | Sí | - |
dc.identifier.funder | http://dx.doi.org/10.13039/501100003329 | es_ES |
dc.type.coar | http://purl.org/coar/resource_type/c_3248 | es_ES |
item.openairetype | capítulo de libro | - |
item.grantfulltext | open | - |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.fulltext | With Fulltext | - |
Aparece en las colecciones: | (IIIA) Comunicaciones congresos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
LNCS8124_117-32.pdf | 222,57 kB | Unknown | Visualizar/Abrir |
CORE Recommender
Page view(s)
164
checked on 18-abr-2024
Download(s)
344
checked on 18-abr-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.