Machine Learning Methods in Solving the Boolean Satisfiability Problem