Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers (AAAI 13)