基于关键文字的求解SAT问题的启发式算法

• 作者: 张秋菊 秦永彬
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 关键文字 骨干变元集 可满足(SAT) 启发式算法
• 年，卷（期）: 2010,（10）
• 页码范围: 1-4
• 分类号: TP301.6
• 字数: 4594字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.10.001

摘要

逻辑公式的可满足问题的求解方法是近几年研究的重点,通过对逻辑公式的关键文字和骨干变元集的研究与分析,使用启发式算法寻找公式的关键文字,在公式化简中引入关键文字规则,给出了一种新的求解SAT问题的启发式算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	秦永彬	贵州大学计算机科学与信息学院	63	213	8.0	10.0
2	张秋菊	贵州大学计算机科学与信息学院	2	5	1.0	2.0