Boosting autonomous search for CSPs via skylines
MetadataShow full item record
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. © 2015 Elsevier Inc. All rights reserved.
Showing items related by title, author, creator and subject.
Using autonomous search for solving constraint satisfaction problems via new modern approaches (2020) Soto R.; Crawford B.; Olivares R.; Galleguillos C.; Castro C.; Johnson F.; Paredes F.; Norero E. (Elsevier B.V., 2016)
Choice functions for autonomous search in constraint programming: GA vs. PSO [Funkcije izbora za samostalno pretraživanje u ograničenom programiranju: Genetski algoritam nasuprot optimizaciji roja čestica] (2020) Soto R.; Crawford B.; Misra S.; Palma W.; Monfroy E.; Castro C.; Paredes F. (2013)
Conference PaperSoto R.; Crawford B.; Flores J.; Mella F.; Galleguillos C.; Johnson F.; Paredes F. (Springer Verlag, 2015)