基于几何规划的布尔可满足问题求解方法

• 作者: 何安平 吴尽昭 吴昊 梁艺 熊玲芳
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 布尔可满足性 拟物拟人算法(Solar) 几何规划
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 软件工程
• 页码范围: 122-126
• 页数: 5页
• 分类号: TP301.2
• 字数: 3872字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.09.020

摘要

布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义.将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法.经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁艺	广西民族大学混杂计算与集成电路设计分析重点实验室	2	0	0.0	0.0
2	吴尽昭	广西民族大学混杂计算与集成电路设计分析重点实验室	23	39	4.0	5.0
3	熊玲芳	广西民族大学混杂计算与集成电路设计分析重点实验室	3	6	2.0	2.0
4	何安平	广西民族大学混杂计算与集成电路设计分析重点实验室	3	6	1.0	2.0
5	吴昊	广西民族大学混杂计算与集成电路设计分析重点实验室	6	2	1.0	1.0