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

摘要：

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

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

所属期刊栏目：35

分类号：TP301.2(计算技术、计算机技术)

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

在线出版日期：2013-11-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：122-126