Computer Science – Artificial Intelligence
Scientific paper
2010-08-25
Computer Science
Artificial Intelligence
Scientific paper
Constraint solvers are complex pieces of software which require many design decisions to be made by the implementer based on limited information. These decisions affect the performance of the finished solver significantly. Once a design decision has been made, it cannot easily be reversed, although a different decision may be more appropriate for a particular problem. We investigate using machine learning to make these decisions automatically depending on the problem to solve. We use the alldifferent constraint as a case study. Our system is capable of making non-trivial, multi-level decisions that improve over always making a default choice and can be implemented as part of a general-purpose constraint solver.
Gent Ian
Kotthoff Lars
Miguel Ian
Nightingale Peter
No associations
LandOfFree
Machine learning for constraint solver design -- A case study for the alldifferent constraint does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Machine learning for constraint solver design -- A case study for the alldifferent constraint, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Machine learning for constraint solver design -- A case study for the alldifferent constraint will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-525770