Title
Using autonomous search for solving constraint satisfaction problems via new modern approaches
Date Issued
01 October 2016
Access level
metadata only access
Resource Type
journal article
Author(s)
Crawford B.
Olivares R.
Galleguillos C.
Castro C.
Johnson F.
Paredes F.
Norero E.
Pontificia Universidad Católica de Valparaíso
Publisher(s)
Elsevier B.V.
Abstract
Constraint Programming is a powerful paradigm which allows the resolution of many complex problems, such as scheduling, planning, and configuration. These problems are defined by a set of variables and a set of constraints. Each variable has non-empty domain of possible value and each constraint involves some subset of the variables and specifies the allowable combinations of values for that subset. The resolution of these problems is carried out by a constraint satisfaction solver which explores a search tree of potential solutions. This exploration is controlled by the enumeration strategy, which is responsible for choosing the order in which variables and values are selected to generate the potential solution. There exist different ways to perform this selection, and depending on the quality of this decision, the efficiency of the solving process may dramatically vary. Autonomous search is a particular case of adaptive systems that aims at improving its solving performance by adapting itself to the problem at hand without manual configuration of an expert user. The goal is to improve their solving performance by modifying and adjusting themselves, either by self-adaptation or by supervised adaptation. This approach has been effectively applied to different optimization and satisfaction techniques such as constraint programming, metaheuristics, and SAT. In this paper, we present a new Autonomous Search approach for constraint programming based on four modern bio-inspired metaheuristics. The goal of those metaheuristics is to optimize the self-tuning phase of the constraint programming search process. We illustrate promising results, where the proposed approach is able to efficiently solve several well-known constraint satisfaction problems.
Start page
64
End page
77
Volume
30
Language
English
OCDE Knowledge area
Ciencias de la computación Ciencias naturales
Scopus EID
2-s2.0-84964595985
Source
Swarm and Evolutionary Computation
ISSN of the container
22106502
Sources of information: Directorio de Producción Científica Scopus