我对在SAT求解过程中应用机器学习算法很感兴趣。当前SAT求解器的趋势似乎是使用CDCL过程。具体来说，有没有一个小的例子来说明这个想法？

回答：

我知道的最接近的工作是由Selsam等人完成的，题为“从单比特监督中学习SAT求解器”。参见 https://arxiv.org/abs/1802.03685

您还应该查看Selsam关于此主题的博士论文 https://searchworks.stanford.edu/view/13250178，其中包含许多其他参考文献。