Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/133779
COMPARTIR / EXPORTAR:
SHARE CORE 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 | Levy, Jordi | - |
dc.date.accessioned | 2016-06-20T16:25:40Z | - |
dc.date.available | 2016-06-20T16:25:40Z | - |
dc.date.issued | 2013 | - |
dc.identifier | doi: 10.1016/j.artint.2013.01.002 | - |
dc.identifier | issn: 0004-3702 | - |
dc.identifier.citation | Artificial Intelligence 196: 77- 105 (2013) | - |
dc.identifier.uri | http://hdl.handle.net/10261/133779 | - |
dc.description.abstract | Many industrial optimization problems can be translated to MaxSAT. Although the general problem is NP hard, like SAT, many practical problems may be solved using modern MaxSAT solvers. In this paper we present several algorithms specially designed to deal with industrial or real problems. All of them are based on the idea of solving MaxSAT through successive calls to a SAT solver. We show that this SAT-based technique is efficient in solving industrial problems. In fact, all state-of-the-art MaxSAT solvers that perform well in industrial instances are based on this technique. In particular, our solvers won the 2009 partial MaxSAT and the 2011 weighted partial MaxSAT industrial categories of the MaxSAT evaluation. We prove the correctness of all our algorithms. We also present a complete experimental study comparing the performance of our algorithms with latest MaxSAT solvers. © 2013 Elsevier B.V. | - |
dc.description.sponsorship | Research partially supported by the Ministerio de Economía y Competividad research projects ARINF TIN2009-14704-C03-01, TASSAT TIN2010-20967-C04-01/03/04. | - |
dc.publisher | Elsevier | - |
dc.rights | closedAccess | - |
dc.subject | Boolean optimization | - |
dc.subject | MaxSAT | - |
dc.subject | SAT | - |
dc.title | SAT-based MaxSAT algorithms | - |
dc.type | artículo | - |
dc.identifier.doi | 10.1016/j.artint.2013.01.002 | - |
dc.date.updated | 2016-06-20T16:25:40Z | - |
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_6501 | es_ES |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.openairetype | artículo | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
accesoRestringido.pdf | 15,38 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
139
checked on 24-abr-2024
WEB OF SCIENCETM
Citations
104
checked on 16-feb-2024
Page view(s)
189
checked on 24-abr-2024
Download(s)
70
checked on 24-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.