您当前的位置：
首页 >
文章列表页 >
最小布尔不可满足子式的求解算法
最小布尔不可满足子式的求解算法
Algorithms for Deriving Minimum Unsatisfiable Boolean Subformulae
- 电子学报 2009年37卷第5期 页码：993-999
移动端阅览
HTML全文
参考文献
出版信息
数据统计
78
浏览量
1093
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
强噪声背景下动车组轴承微弱故障信号检测
基于蚁群算法和遗传算法融合的QoS组播路由问题求解
认知网络中基于蚁群算法的网络流量预测模型
基于蚁群混沌遗传算法的片上网络映射
基于RSMA的通信导航一体化信号波形设计
相关作者
纪爱敏
陈曦晖
林新海
许行
孙鑫威
黄敬雄
谢维信
康 莉
相关机构
中车戚墅堰机车车辆工艺研究所有限公司
河海大学机电工程学院
防空兵指挥学院河南郑州
深圳大学ATR国防科技重点实验室广东深圳
桂林电子科技大学电子工程学院广西桂林
