2020年6月7日
求解器学习子句集的功能定位与调整管理
摘要： 一般来说学习子句lbd值的大小范围不同，认为其在今后发挥作用不同，lbd值越小，后续发挥作用越大，即认为其质量越高。依据lbd值的范围，在CDCL求器中有三个“木桶”供其存放。这三个集合分别是： vec<CRef> learnts_core, learnts_tier2,learnts_local; 阅读全文
posted @ 2020-06-07 18:26 海阔凭鱼跃越 阅读(157) 评论(0) 推荐(0) 编辑