<p>The closest work I'm aware of is by Selsam et al., &quot;Learning a SAT Solver from Single-Bit Supervision.&quot; See <a href="https://arxiv.org/abs/1802.03685" rel="nofollow noreferrer">https://arxiv.org/abs/1802.03685</a></p>
<p>You should also look into Selsam's PhD thesis on this topic as well <a href="https://searchworks.stanford.edu/view/13250178" rel="nofollow noreferrer">https://searchworks.stanford.edu/view/13250178</a>, which has lots of other references.</p>
How to implement Machine Learning algorithms for SAT solving?
<p>I'm interested in applying machine learning algorithms for SAT solving procedures. Current trends on SAT solvers seems they use CDCL procedures.
Specifically, is there any small example to illustrate the idea?</p>