Title
Interleaving constraint propagation: An efficient cooperative search with branch and bound
Date Issued
30 August 2013
Access level
metadata only access
Resource Type
conference paper
Author(s)
Monfroy E.
Crawford B.
Pontificia Universidad Católica de Valparaíso
Abstract
The main characteristic of any constraint solver is Constraint propagation. Then it is very important to be able to manage constraint propagation as efficiently as possible, we present a hybrid solver based on a Branch and Bound algorithm combined with constraint propagation to reduce the search space. Based on some observations of the solving process constraint propagation is triggered by some rules. The results show that constraint propagation is profitable, but also that it is too costly to be executed at each node of the search tree, we show that is possible to make reasonable use of constraint propagation. © 2013 Springer-Verlag.
Start page
52
End page
61
Volume
7919 LNCS
Language
English
OCDE Knowledge area
Sistemas de automatización, Sistemas de control Matemáticas
Scopus EID
2-s2.0-84883030287
ISSN of the container
16113349
ISBN of the container
978-364238515-5
Conference
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Sources of information: Directorio de Producción Científica Scopus