Machine learning methods in solving the boolean satisfiability problem

Add the full text or supplementary notes for the publication here using Markdown formatting.