Boosting autonomous search for CSPs via skylines

Ricardo Soto, Broderick Crawford, Wenceslao Palma, Karin Galleguillos, Carlos Castro, Eric Monfroy, Franklin Johnson, Fernando Paredes

Research output: Contribution to journalArticlepeer-review

13 Scopus citations

Abstract

Solving constraint satisfaction problems via constraint programming involves the exploration of a search tree where the potential solutions are distributed. The exploration phase is essentially controlled by an enumeration strategy that decides the order in which variables and values are selected to verify its feasibility. This process is known to be quite important, indeed perfect enumerations can reach a solution without useless explorations. However, selecting good strategies in advance is quite hard as the effects along the search are often unpredictable. Autonomous search addresses this concern by proposing to replace on the fly bad-performing strategies by more promising ones. Strategies are selected from a quality rank which is generated in function of their performance on the current solving process. However, the ranking computation is commonly tuned by an optimizer that negatively impacts the performance of the whole resolution. In this paper, we propose a faster autonomous search approach by integrating a powerful database technique called skyline. This technique allows us to avoid the use of costly rank functions and optimizers, accelerating as a consequence the solving process. We report results where the skyline-based approach clearly competes with previously reported autonomous search frameworks as well as with classic and more sophisticated heuristics such as impact-based search and dom/wdeg.

Original languageEnglish
Pages (from-to)38-48
Number of pages11
JournalInformation Sciences
Volume308
DOIs
StatePublished - 1 Jul 2015

Keywords

  • Combinatorial optimization
  • Constraint satisfaction
  • Hyperheuristic
  • Skyline

Fingerprint

Dive into the research topics of 'Boosting autonomous search for CSPs via skylines'. Together they form a unique fingerprint.

Cite this