| 应用不可满足子式的解码电路综合优化方法 |
| 张建民;黎铁军;马柯帆;肖立权; |
| 关键词：电路综合;形式化方法;可满足性求解;不可满足子式 |
| 主要内容：解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的 |
| 《国防科技大学学报》 2016,38(05):1-6 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号