随笔 - 260 文章 - 0 评论 - 0 阅读 - 52987

07 2022 档案

学习子句管理策略总结2--Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics

摘要：core-tier2-local三个集合管理子句的文献:An Experimental Study of Permanently Stored Learned Clauses 文献1：2019，较新 Exploiting Glue Clauses to Design Effective CDCL B 阅读全文

posted @ 2022-07-29 09:20 海阔凭鱼跃越编辑

对传播队列操作的情况-代码阅读

摘要：1. 冲突子句中各个文字所在层的排查--（1）是否有仅有一个在决策层；（2）次大层是否为0层；如为0层，则推到出UNSAT； 1 struct ConflictData 2 { 3 ConflictData() : 4 nHighestLevel(-1), 5 bOnlyOneLitFromHigh 阅读全文

posted @ 2022-07-24 11:15 海阔凭鱼跃越编辑

在windows系统上安装Anaconda并用于绘制几类结果分析图

摘要：编辑环境变量path增加以下两个值： C:\Users\86183\anaconda3C:\Users\86183\anaconda3\Scripts 阅读全文

posted @ 2022-07-02 10:33 海阔凭鱼跃越编辑