摘要： Machine Learning-Based Restart Policy for CDCL SAT Solvers 阅读注释：提出运用之前学习的子句的历史预测下一个学习的子句的质量。 Liang J.H., Oh C., Mathew M., Thomas C., Li C., Ganesh V. 阅读全文