| 一个极小不可满足公式子集的构造 |
| |
| 引用本文： | 陈庆燕,姚雷博. 一个极小不可满足公式子集的构造[J]. 洛阳工业高等专科学校学报, 2011, 21(4) |
| |
| 作者姓名： | 陈庆燕 姚雷博 |
| |
| 作者单位： | 1. 滨州学院 计算机系,山东滨州,256600
2. 洛阳理工学院电气工程与自动化系,河南洛阳,471023 |
| |
| 基金项目： | 滨州学院青年人才创新基金 |
| |
| 摘 要： | 对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向.极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的.找到了一个能递归构造的极小不可满足公式的子类M4X+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例.
|
| 关 键 词： | 极小不可满足公式 MAX+(k)公式集 分裂对 |
A Structure of Minimal Unsatisfiable Formulas Subsets |
| |
| CHEN Qing-yan , YAO Lei-bo. A Structure of Minimal Unsatisfiable Formulas Subsets[J]. Journal of Luoyang Technology College, 2011, 21(4) |
| |
| Authors: | CHEN Qing-yan YAO Lei-bo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
