广义支撑集归结原理

首页>文献>广义支撑集归结原理

DOI: 10.3969/j.issn.1673-0291.1998.02.016

广义支撑集归结原理

陈斌

北方交通大学电子信息工程学院,北京,100044

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

关键词：归结原理广义归结支撑集

分类号：TP18(自动化基础理论)

论文发表日期：1998-01-01

在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）

英文信息展开

北方交通大学学报

北方交通大学学报

北大核心CSTPCD

ISSN：1673-0291

年,卷(期)：1998,22(2)

所属栏目：计算机应用专辑