一种可满足问题求解算法

• 作者: 崔金宝 李娟 许有军
• 来源期刊: 福建电脑
• 关键词: 可满足问题 扩展规则 分裂规则
• 年，卷（期）: 2018,（1）
• 所属期刊栏目: 基金项目论文
• 页码范围: 65,126
• 页数: 2页
• 字数: 1491字
• 语种: 中文
• DOI: 10.16707/j.cnki.fjpc.2018.01.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许有军	大庆师范学院计算机科学与信息技术学院	15	25	3.0	3.0
2	崔金宝	大庆师范学院计算机科学与信息技术学院	9	26	3.0	4.0
3	李娟	大庆师范学院计算机科学与信息技术学院	26	49	3.0	5.0