Applying machine learning techniques to ASP solving