10.3969/j.issn.1007-130X.2013.09.020
基于几何规划的布尔可满足问题求解方法
布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义.将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法.经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值.
布尔可满足性、拟物拟人算法(Solar)、几何规划
35
TP301.2(计算技术、计算机技术)
广西自然科学基金资助项目2011GXNSFA018154,2012GXNSFGA060003,2013GXNSFAA019342;广西区主席科技资金10169-1;广西教育厅科研资助项目201012MS274;广西"八桂"学者项目
2013-11-11(万方平台首次上网日期,不代表论文的发表时间)
共5页
122-126