English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/133523
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Título

MinSAT versus MaxSAT for Optimization Problems

AutorArgelich, Josep; Li, Chu-Min; Manya, Felip; Zhu, Zhu
Palabras claveEmpirical investigation
Problem solving
Constraint theory
Computer programming
Optimization problems
Min-SAT
Combinatorial problem
Encodings
Max-SAT
Fecha de publicación16-sep-2013
EditorSpringer
Citación 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. 133-142.
ResumenDespite their similarities, MaxSAT and MinSAT use different encodings and solving techniques to cope with optimization problems. In this paper we describe a new weighted partial MinSAT solver, define original MinSAT encodings for relevant combinatorial problems, propose a new testbed for evaluating MinSAT, report on an empirical investigation comparing MinSAT with MaxSAT, and provide new insights into the duality between MinSAT and MaxSAT. © 2013 Springer-Verlag.
URIhttp://hdl.handle.net/10261/133523
DOI10.1007/978-3-642-40627-0_13
Identificadoresdoi: 10.1007/978-3-642-40627-0_13
isbn: 978-3-642-40626-3
Aparece en las colecciones: (IIIA) Comunicaciones congresos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
accesoRestringido.pdf15,38 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.