一种可满足问题求解算法

摘要

可满足问题一直是AI领域的一个核心问题,提高求解可满足问题的算法的效率一直都是该领域的一个重要研究课题.通过对基于扩展规则的算法IER的分析指出制约该算法效率的地方,然后提出了基于分裂规则和扩展规则的完备的算法.该算法通过分裂规则将问题分解成一系列的规模较小的问题,然后用基于扩展规则的方法对小规模的问题进行求解,最终得到原问题的解.