合取范式的可满足性完备算法研究与实现

• 作者: 陈南平
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 合取范式 可满足性 布尔约束推导 冲突分析
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 算法与语言
• 页码范围: 32-34
• 页数: 3页
• 分类号: TP312
• 字数: 2766字
• 语种: 中文
• DOI: 10.11907/rjdk.161162

摘要

把可满足性算法应用到合取范式中并加以分析,借助改进的数据结构实现该算法.在四色图着色中应用该算法找出一组图着色方案,并与DPLL算法进行了性能比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈南平	湖北大学计算机与信息工程学院	7	16	2.0	4.0