How to implement Machine Learning algorithms for SAT solving?

Question

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?

Answer 1

The closest work I'm aware of is by Selsam et al., "Learning a SAT Solver from Single-Bit Supervision." See https://arxiv.org/abs/1802.03685

You should also look into Selsam's PhD thesis on this topic as well https://searchworks.stanford.edu/view/13250178, which has lots of other references.