2021年11月19日
文献学习——Adaptive restart strategies for conflict driven SAT solvers
摘要： Adaptive restart strategies for conflict driven SAT solvers International Conference on Theory and Applications of Satisfiability Testing SAT 2008: Th 阅读全文
posted @ 2021-11-19 10:10 海阔凭鱼跃越 阅读(104) 评论(0) 推荐(0) 编辑
文献学习——Evaluating CDCL Variable Scoring Schemes
摘要： Evaluating CDCL Variable Scoring Schemes International Conference on Theory and Applications of Satisfiability Testing SAT 2015: Theory and Applicatio 阅读全文
posted @ 2021-11-19 09:22 海阔凭鱼跃越 阅读(123) 评论(0) 推荐(0) 编辑