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

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 电子科学与技术（可...

主题

  • 1 篇 dpll算法
  • 1 篇 可满足性模理论
  • 1 篇 minimum unsatisf...
  • 1 篇 dpll(t)
  • 1 篇 可满足问题
  • 1 篇 宽度优先搜索
  • 1 篇 electronic desig...
  • 1 篇 搜索树
  • 1 篇 极小不可满足子式
  • 1 篇 maximal satisfia...
  • 1 篇 不可满足子式
  • 1 篇 布尔公式
  • 1 篇 formal verificat...
  • 1 篇 ant colony algor...
  • 1 篇 形式化验证

机构

  • 2 篇 国防科学技术大学
  • 1 篇 school of comput...

作者

  • 2 篇 沈胜宇
  • 2 篇 李思昆
  • 2 篇 张建民
  • 1 篇 zhang jianmin sh...

语言

  • 2 篇 中文
  • 1 篇 英文
检索条件"作者=zhang Jianmin Shen shengyu Li Sikun"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
AN ANT COLONY ALGORITHM FOR MINIMUM UNSATISFIABLE CORE EXTRACTION
收藏
分享
引用
Journal of Electronics(China) 2008年 第5期25卷 652-660页
作者： zhang jianmin shen shengyu li sikun School of Computer Science National University of Defense Technology Changsha 410073 China
Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of ***,a minimum explanation of infeasibility that excludes all irrele... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
求解极小SMT不可满足子式的宽度优先搜索算法
收藏
分享
引用
计算机辅助设计与图形学学报 2009年 第7期21卷 984-990页
作者： 张建民 沈胜宇 李思昆 国防科学技术大学计算机学院 长沙410073
极小不可满足子式能够为可满足性模理论(SMT)公式的不可满足的原因提供精确的解释,帮助自动化工具迅速定位错误.针对极小SMT不可满足子式的求解问题,提出了SMT公式搜索树及其3类结点的概念,并给出了不可满足子式、极小不可满足子式与3... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
布尔不可满足子式的求解方法研究进展
收藏
分享
引用
计算机辅助设计与图形学学报 2008年 第10期20卷 1253-1260页
作者： 李思昆 张建民 沈胜宇 国防科学技术大学计算机学院 长沙410073
解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件