| 基于几何规划的布尔可满足问题求解方法 | |
| 何安平 ; 吴尽昭 ; 梁艺 ; 熊玲芳 ; 吴昊 | |
| 2015-03-13 ; 2015-03-13 | |
| 关键词 | 布尔可满足性 拟物拟人算法(Solar) 几何规划 |
| 其他题名 | The continuous solution of SAT problem based on geometric programming |
| 中文摘要 | 布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义.将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法.经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值.; 广西自然科学基金资助项目(2011GXNSFA018154,2012GXNSFGA060003,2013GXNSFAA019342);广西区主席科技资金(10169-1);广西教育厅科研资助项目(201012MS274);广西“八桂”学者项目 |
| 语种 | 中文 |
| 出版者 | 计算机工程与科学 |
| 其他责任者 | 广西民族大学混杂计算与集成电路设计分析重点实验室 |
| 内容类型 | 期刊论文 |
| 源URL | [http://ir.calis.edu.cn/hdl/530500/4570]  |
| 专题 | 广西民族大学 |
| 推荐引用方式 GB/T 7714 | 何安平,吴尽昭,梁艺,等. 基于几何规划的布尔可满足问题求解方法[J],2015, 2015. |
| APA | 何安平,吴尽昭,梁艺,熊玲芳,&吴昊.(2015).基于几何规划的布尔可满足问题求解方法.. |
| MLA | 何安平,et al."基于几何规划的布尔可满足问题求解方法".(2015). |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论