咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 hsvdl策略
  • 1 篇 dpll算法
  • 1 篇 sat求解器
  • 1 篇 启发式分支策略
  • 1 篇 llbd策略
  • 1 篇 cdcl算法
  • 1 篇 vsids策略
  • 1 篇 变量决策
  • 1 篇 sat问题

机构

  • 2 篇 西南交通大学

作者

  • 2 篇 刘姚
  • 1 篇 宋振明

语言

  • 2 篇 中文
检索条件"主题词=HSVDL策略"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于CDCL求解器的分支策略和删除策略的研究
基于CDCL求解器的分支策略和删除策略的研究
收藏
分享
引用
作者： 刘姚 西南交通大学
学位级别：硕士
SAT问题是计算机科学理论和人工智能中的著名问题。NP完全问题(NP-complete,NPC)排在千禧年七大难数学问题之首,许多NP完全问题都可以在多项式时间内转换为SAT问题进行求解。SAT问题广泛应用于数学定理证明、计算机软件与理论、工程技... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
基于变量决策层的启发式变量选择策略
收藏
分享
引用
计算机与现代化 2019年 第7期 20-24,96页
作者： 刘姚 宋振明 西南交通大学数学学院
启发式分支策略是SAT求解器中不可或缺的一部分,直接影响求解器的效率。早期的启发式分支决策需要遍历整个子句数据库,效率比较低。随着独立变量状态衰减和(Variable State Independent Decaying Sum,VSIDS)分支策略的出现,SAT求解器的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件