Restart Strategy Selection using Machine Learning Techniques