2020年4月13日
最早使用cmt的minisat改进版求解器2——vsids-master-1\minisat-performance
摘要： 位置： E:\CNKI E-Study\localestudy\Literature\SAT求解器学习_6B1FE1DF69904FE2AEC3542DCF408574\VSIDS paper\VISDS-solvers\vsids-master-1\vsids-master-1\minisat-p 阅读全文
posted @ 2020-04-13 23:45 海阔凭鱼跃越 阅读(187) 评论(0) 推荐(0) 编辑
最早使用cmt的minisat改进版求解器——vsids-master-1\spatial_mvsids
该文被密码保护。 阅读全文
posted @ 2020-04-13 22:16 海阔凭鱼跃越 阅读(20) 评论(0) 推荐(0) 编辑
决策变元分支策略——文献学习：Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers_______sat求解器是一个大数据系统
摘要： Modern CDCL SAT solvers maintain lots of state features such as the partial assignment, trail, learnt clause database, saved phases, etc. 译文：现代CDCL SA 阅读全文
posted @ 2020-04-13 01:20 海阔凭鱼跃越 阅读(641) 评论(0) 推荐(0) 编辑