| 基于几何规划的布尔可满足问题求解方法 |
| |
| 引用本文： | 何安平,吴尽昭,梁艺,熊玲芳,吴昊. 基于几何规划的布尔可满足问题求解方法[J]. 计算机工程与科学, 2013, 35(9): 122 |
| |
| 作者姓名： | 何安平 吴尽昭 梁艺 熊玲芳 吴昊 |
| |
| 作者单位： | 广西民族大学混杂计算与集成电路设计分析重点实验室,广西南宁,530006 |
| |
| 基金项目： | 广西自然科学基金资助项目，广西区主席科技资金，广西教育厅科研资助项目，广西"八桂"学者项目 |
| |
| 摘 要： | 布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义.将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法.经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值.
|
| 关 键 词： | 布尔可满足性 拟物拟人算法(Solar) 几何规划 |
The continuous solution of SAT problem based on geometric programming |
| |
| HE An-ping , WU Jin-zhao , LIANG Yi , XIONG Ling-fang , WU Hao. The continuous solution of SAT problem based on geometric programming[J]. Computer Engineering & Science, 2013, 35(9): 122 |
| |
| Authors: | HE An-ping WU Jin-zhao LIANG Yi XIONG Ling-fang WU Hao |
| |
| Abstract: | |
| |
| Keywords: | SAT solar algorithm geometric programming |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
