Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/162425
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Regular-SAT: A many-valued approach to solving combinatorial problems |
Autor: | Bejar, Ramon; Manyà, Felip CSIC ORCID ; Cabiscol, Alba; Fernández, César; Gomes, Carla | Palabras clave: | Many-valued logic Solvers Satisfiability Combinatorial problem solving |
Fecha de publicación: | 2007 | Editor: | Elsevier | Citación: | Discrete Applied Mathematics 155: 1613- 1626 (2007) | Resumen: | Regular-SAT is a constraint programming language between CSP and SAT that-by combining many of the good properties of each paradigm-offers a good compromise between performance and expressive power. Its similarity to SAT allows us to define a uniform encoding formalism, to extend existing SAT algorithms to Regular-SAT without incurring excessive overhead in terms of computational cost, and to identify phase transition phenomena in randomly generated instances. On the other hand, Regular-SAT inherits from CSP more compact and natural encodings that maintain more the structure of the original problem. Our experimental results-using a range of benchmark problems-provide evidence that Regular-SAT offers practical computational advantages for solving combinatorial problems. © 2006 Elsevier B.V. All rights reserved. | URI: | http://hdl.handle.net/10261/162425 | DOI: | 10.1016/j.dam.2005.10.020 | Identificadores: | doi: 10.1016/j.dam.2005.10.020 issn: 0166-218X |
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
7
checked on 25-abr-2024
WEB OF SCIENCETM
Citations
7
checked on 27-feb-2024
Page view(s)
224
checked on 12-may-2024
Download(s)
73
checked on 12-may-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.