TY - GEN
T1 - Adaptive and multilevel approach for constraint solving
AU - de la Barra, Claudio León
AU - Crawford, Broderick
AU - Soto, Ricardo
AU - Monfroy, Eric
PY - 2013
Y1 - 2013
N2 - For many real world problems, modeled as Constraint Satisfaction Problems, there are no known efficient algorithms to solve them. The specialized literature offers a variety of solvers, which have shown satisfactory performance. Nevertheless, despite the efforts of the scientific community in developing new strategies, there is no algorithm that is the best for all possible situations. Then, several approaches have emerged to deal with the Algorithm Selection Problem. Here, we sketch the use a Choice Function for guiding a Constraint Programming solver exploiting search process features to dynamically adapt it in order to more efficiently solve Constraint Satisfaction Problems. To determine the best set of parameters of the choice function, an upper-level metaheuristic is used. The main novelty of our approach is that we reconfigure the search based solely on performance data gathered while solving the current problem.
AB - For many real world problems, modeled as Constraint Satisfaction Problems, there are no known efficient algorithms to solve them. The specialized literature offers a variety of solvers, which have shown satisfactory performance. Nevertheless, despite the efforts of the scientific community in developing new strategies, there is no algorithm that is the best for all possible situations. Then, several approaches have emerged to deal with the Algorithm Selection Problem. Here, we sketch the use a Choice Function for guiding a Constraint Programming solver exploiting search process features to dynamically adapt it in order to more efficiently solve Constraint Satisfaction Problems. To determine the best set of parameters of the choice function, an upper-level metaheuristic is used. The main novelty of our approach is that we reconfigure the search based solely on performance data gathered while solving the current problem.
KW - Algorithm selection problem
KW - Autonomous search
KW - Constraint satisfacion problems
KW - Constraint solving
UR - http://www.scopus.com/inward/record.url?scp=84891537420&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-39473-7_129
DO - 10.1007/978-3-642-39473-7_129
M3 - Conference contribution
AN - SCOPUS:84891537420
SN - 9783642394720
T3 - Communications in Computer and Information Science
SP - 650
EP - 654
BT - HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings
PB - Springer Verlag
T2 - 15th International Conference on Human-Computer Interaction, HCI International 2013
Y2 - 21 July 2013 through 26 July 2013
ER -