| 广义RUE-NRF归结的配锁 |
| |
| 引用本文： | 刘叙华,陈斌. 广义RUE-NRF归结的配锁[J]. 吉林大学学报(理学版), 1993, 0(2) |
| |
| 作者姓名： | 刘叙华 陈斌 |
| |
| 作者单位： | 吉林大学计算机科学系，吉林大学计算机科学系 长春 130023，长春 130023 |
| |
| 基金项目： | 国家自然科学基金，国家教委博士点基金，863计划，国家攀登计划项目资助课题 |
| |
| 摘 要： | 本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上.
|
| 关 键 词： | 广义归结 RUE-NRF归结 锁归结 |
Lock of Generalized RUE-NRF Resolution |
| |
| Liu Xuhua,Chen Bin. Lock of Generalized RUE-NRF Resolution[J]. Journal of Jilin University: Sci Ed, 1993, 0(2) |
| |
| Authors: | Liu Xuhua Chen Bin |
| |
| Abstract: | In this paper, although it is complete for the E unsatisfied clauses we have applied generated RUE-NRF resolution to the set of the generalized clauses with indexed literal. |
| |
| Keywords: | generalized resolution RUE-NRF resolution lock resolution |
| 本文献已被 CNKI 等数据库收录！ |
