广义支撑集归结原理

• 作者: 陈斌
• 来源期刊: 北方交通大学学报
• 学科: 工学
• 关键词: 归结原理 广义归结 支撑集
• 年，卷（期）: 1998,（2）
• 所属期刊栏目: 计算机应用专辑
• 页码范围: 0
• 分类号: TP18
• 语种: 中文
• DOI: 10.3969/j.issn.1673-0291.1998.02.016

摘要

广义归结是对J.A.Robinson普通归结的推广.支撑集策略是提高归结效率的有效方法.本文将支撑集策略引入广义归结中,提出了广义支撑集归结方法,并证明了它的完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈斌	北方交通大学电子信息工程学院	2	6	1.0	2.0