Dynamic selection of enumeration strategies for solving constraint satisfaction problems
The main goal concerning Constraint Satisfaction Problems is to determine a value assignment for variables satisfying a set of constraints, or otherwise, to conclude that such an assignment does not exist (the set of constraints is unsatisfiable). In the Constraint Programming resolution process, it is known that the order in which the variables are assigned have a significant impact in terms of computational cost. In this paper we propose a new framework for guiding the classical Constraint Programming resolution process. Such a framework is able to measure the resolution process, using some indicators, in order to perform on-the-fly replacements of variable/value ordering heuristics exhibiting poor performances. The replacement is performed depending on a quality rank, which is computed by means of a choice function-based Hyperheuristic, where its parameters are fine-tuned by a Genetic Algorithm which trains the choice function carrying out a sampling phase. The experimental results show the effectiveness of our approach where our combination of strategies outperforms the use of individual strategies.
Showing items related by title, author, creator and subject.
ArticleSoto R.; Crawford B.; Palma W.; Galleguillos K.; Castro C.; Monfroy E.; Johnson F.; Paredes F. (Elsevier Inc., 2015)
Enumeration strategies to solve constraint satisfaction problems: Performance evaluation [Estrategias de Enumeración para Resolver Problemas de Satisfacción de Restricciones: Evaluación de desempeño] (2020) Soto R.; Crawford B.; Olivares R.; Herrera R.; Johnson F.; Paredes F. (Institute of Electrical and Electronics Engineers Inc., 2015)
Parameter tuning of a choice-function based hyperheuristic using Particle Swarm Optimization (2020) Crawford B.; Soto R.; Monfroy E.; Palma W.; Castro C.; Paredes F. (2013)