一种基于归结的不完备SAT算法

• 作者: 崔金宝 李娟
• 来源期刊: 福建电脑
• 关键词: SAT问题 归结 DR算法
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 基金项目论文
• 页码范围: 43
• 页数: 1页
• 字数: 1400字
• 语种: 中文
• DOI: 10.16707/j.cnki.fjpc.2018.03.020

摘要

很多NP问题都可以转换成SAT问题进行求解,所以关于SAT问题求解算法的研究一直是人工智能的一个重要研究方向.DR算法是一种基于归结的高效算法,但在算法的归结过程中会产生很多的新子句,所以减少新子句的产生提高算法效率的一个途径.本文提出一种策略,在原子句集的子集上进行归结,虽然不完备,但可以大幅度缩短算法的运行时间.

作者信息

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