Presentation
Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems
Author/s | Martínez Gasca, Rafael
Valle Sevillano, Carmelo del Cejudo, V. Barba Rodríguez, Irene |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2005 |
Deposit Date | 2020-03-09 |
Published in |
|
ISBN/ISSN | 978-3-540-45914-9 0302-9743 |
Abstract | Models are used in science and engineering for experimentation,
analysis, diagnosis or design. In some cases, they can be considered
as numeric constraint satisfaction problems (NCSP). Many models
are symmetrical NCSP. ... Models are used in science and engineering for experimentation, analysis, diagnosis or design. In some cases, they can be considered as numeric constraint satisfaction problems (NCSP). Many models are symmetrical NCSP. The consideration of symmetries ensures that NCSP-solver will find solutions if they exist on a smaller search space. Our work proposes a strategy to perform it. We transform the symmetrical NCSP into a newNCSP by means of addition of symmetry-breaking constraints before the search begins. The specification of a library of possible symmetries for numeric constraints allows an easy choice of these new constraints. The summarized results of the studied cases show the suitability of the symmetry-breaking constraints to improve the solving process of certain types of symmetrical NCSP. Their possible speedup facilitates the application of modelling and solving larger and more realistic problems. |
Funding agencies | Ministerio de Ciencia Y Tecnología (MCYT). España |
Project ID. | DIP2003-0666-02-2 |
Citation | Martínez Gasca, R., Valle Sevillano, C.d., Cejudo, V. y Barba Rodríguez, I. (2005). Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems. En CAEPIA 2005: 11th Conference of the Spanish Association for Artificial Intelligence (269-279), Santiago de Compostela, España: Springer. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Improving the Computational ... | 275.0Kb | [PDF] | View/ | |