SAT求解器算法的改进研究

• 作者: 张芳 张鑫 贾建华 陈彩云
• 来源期刊: 佳木斯大学学报（自然科学版）
• 学科: 工学
• 关键词: 可满足性 演绎能力 冲突分析 子句简化
• 年，卷（期）: 2016,（1）
• 页码范围: 103-106,126
• 页数: 5页
• 分类号: TP311.1
• 字数: 2969字
• 语种: 中文

摘要

研究提出一种增强范式演绎能力的方式来有效地简化子句库,达到裁剪大量搜索空间的目的,从而能缓解状态空间爆炸问题.利用求解器算法对SAT测试实例进行求解,实验表明:求解器通过增强范式演绎能力能有效地裁剪搜索空间,提高求解效率并有效缓解状态爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张鑫	同济大学电子与信息工程学院	91	573	14.0	21.0
2	张芳	同济大学电子与信息工程学院	41	882	19.0	29.0
3	贾建华	同济大学电子与信息工程学院	27	140	7.0	11.0
4	陈彩云	同济大学电子与信息工程学院	2	5	1.0	2.0