AAAI Publications, Twenty-Seventh AAAI Conference on Artificial Intelligence

Font Size: 
Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers
Daniel J. Geschwender, Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Stephen D. Scott

Last modified: 2013-06-29


Computing the minimal network of a Constraint Satisfaction Problem (CSP) is a useful and difficult task. Two algorithms, PerTuple and AllSol, were proposed to this end. The performances of these algorithms vary with the problem instance. We use Machine Learning techniques to build a classifier that predicts which of the two algorithms is likely to be more effective.


Constraint Satisfaction; Machine Learning

Full Text: PDF