基于几何规划的布尔可满足问题求解方法
【出 处】:
【作 者】:
何安平
[1] ;
吴尽昭
[1] ;
梁艺
[1] ;
熊玲芳
[1] ;
吴昊
[1]
【摘 要】
摘要:布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义。将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法。经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值。
相关热词搜索: 布尔可满足性 拟物拟人算法(Solar) 几何规划 SAT solar algorithm geometric programming