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

作     者：何安平 吴尽昭 梁艺 熊玲芳 吴昊 HE An-ping;WU Jin-zhao;LIANG Yi;XIONG Ling-fang;WU Hao

作者机构：广西民族大学混杂计算与集成电路设计分析重点实验室广西南宁530006 

基　　金：广西自然科学基金资助项目(2011GXNSFA018154 2012GXNSFGA060003 2013GXNSFAA019342) 广西区主席科技资金(10169-1) 广西教育厅科研资助项目(201012MS274) 广西"八桂"学者项目 

出 版 物：《计算机工程与科学》 (Computer Engineering & Science)

年 卷 期：2013年第35卷第9期

页      码：122-126页

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

主 题 词：布尔可满足性 拟物拟人算法(Solar) 几何规划 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1007-130X.2013.09.020

馆 藏 号：203827402...