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

关键词：布尔可满足性 几何规划 

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