论文研究-基于演绎长度的学习子句删除策略.pdf

所需积分/C币:9 2019-09-07 09:02:14 703KB .PDF
23
收藏 收藏
举报

学习子句删除策略是CDCL-SAT求解器中的一个重要内容,可以避免内存爆炸和加速单元传播。评估学习子句有用性的标准不同导致所删除的学习子句是不同的,极大地影响求解效率。基于CDCL算法的求解过程可被形式化为增加管理学习子句策略的归结演绎过程,基于此,提出一种基于演绎长度的学习子句评估方法,并与现有的基于文字块距离的评估方法结合,根据排序子句的基准不同,形成两种不同的结合算法。采用国际SAT竞赛的基准实例,与目前主流的求解器进行了实验对比分析。结果表明,所提的结合算法能更好地评估学习子句的有用性,较基于文字块距离策略的求解个数提高了4.1%,说明所提策略具有一定的优势。

...展开详情
试读 7P 论文研究-基于演绎长度的学习子句删除策略.pdf
立即下载 身份认证后 购VIP低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
论文研究-基于演绎长度的学习子句删除策略.pdf 9积分/C币 立即下载
1/7
论文研究-基于演绎长度的学习子句删除策略.pdf第1页
论文研究-基于演绎长度的学习子句删除策略.pdf第2页

试读结束, 可继续读1页

9积分/C币 立即下载