2024年8月25日
星期日
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
黑龙江省自然科学基金(QC2008C98)
作品数:
1
被引量:0
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张