Applying Machine Learning Techniques to ASP Solving