您的位置： 专家智库 > >

黑龙江省自然科学基金(QC2008C98)

作品数：1 被引量：0H指数：0
相关作者：王秀芹马光胜更多>>
相关机构：渤海大学哈尔滨工程大学黑龙江科技学院更多>>
发文基金：国家自然科学基金黑龙江省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇电子设计
  • 1篇电子设计自动...
  • 1篇设计自动化
  • 1篇可满足性
  • 1篇EDA
  • 1篇布尔可满足性

机构

  • 1篇哈尔滨工程大...
  • 1篇渤海大学
  • 1篇黑龙江科技学...

作者

  • 1篇马光胜
  • 1篇王秀芹

传媒

  • 1篇计算机科学

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
EDA领域中可满足性问题求解方法研究
2009年
可满足性问题是理论计算机和人工智能中的著名问题,很多问题都可以通过可满足性求解方法解决。对EDA领域中可满足性问题的求解技术进行了研究。总结了目前主要的求解方法,并对不同的方法进行了详细的分类和比较。讨论了该领域研究中存在的问题,并指出了近期研究热点和未来发展趋势。
王秀芹王昊马光胜
关键词：布尔可满足性电子设计自动化
全选 清除 导出
共1页<1>
聚类工具0