ML-augmented SAT solving

ML-augmented SAT solving is a tool technology tracked in AI research papers.