2020年4月3日
SLS与CDCL结合——蔡少伟老师2019SAT竞赛提交版本学习笔记
摘要： This note introduce a novel method for improving CDCL-based SAT solvers by relaxing backtrack and integrating local search techniques, and we use this 阅读全文
posted @ 2020-04-03 10:15 海阔凭鱼跃越 阅读(749) 评论(0) 推荐(0) 编辑