|
|||||
|
|
| 广义支撑集归结原理 | |
| 引用本文： | 陈斌. 广义支撑集归结原理[J]. 北京交通大学学报(自然科学版), 1998, 22(2): 8 |
| 作者姓名： | 陈斌 |
| 作者单位： | 北方交通大学电子信息工程学院 |
| 摘 要： | 广义归结是对Ｊ．Ａ．Ｒｏｂｉｎｓｏｎ普通归结的推广．支撑集策略是提高归结效率的有效方法．本文将支撑集策略引入广义归结中，提出了广义支撑集归结方法，并证明了它的完备性． |
| 关 键 词： | 归结原理 广义归结 支撑集 |
Principle of Generalized Resolution with Supporting Set |
|
| Chen Bin. Principle of Generalized Resolution with Supporting Set[J]. JOURNAL OF BEIJING JIAOTONG UNIVERSITY, 1998, 22(2): 8 | |
| Authors: | Chen Bin |
| Abstract: | |
| Keywords: | resolution principle generalized resolution set of support |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |