| 用吴方法求解可满足性问题(Ⅱ)--实验研究 |
| |
| 引用本文： | 贺思敏,张钹.用吴方法求解可满足性问题(Ⅱ)--实验研究[J].计算机学报,1998,21(Z1):86-91. |
| |
| 作者姓名： | 贺思敏 张钹 |
| |
| 作者单位： | 1. 清华大学计算机科学与技术系,北京,100084
2. 清华大学智能技术与系统国家重点实验室,北京,100084 |
| |
| 基金项目： | 国家自然科学基金，国家攀登计划，高比容电子铝箔的研究开发与应用项目，，，，，， |
| |
| 摘 要： | 本文使用随机3-SAT实例模型,对算法变换思想指导下设计的吴方法求解可满足性问题的算法进行了实验,并与语义归结、支持集归结和DP算法进行了对比.
|
| 关 键 词： | 算法设计 可满足性问题 吴方法 算法变换 归结法 |
| 修稿时间： | 1996年5月7日 |
SOLVING SATISFIABILITY PROBLEM BY WU'S METHOD(Ⅱ)--EXPERIMENTAL EVALUATION |
| |
| HE Si-Min,ZHANG Bo.SOLVING SATISFIABILITY PROBLEM BY WU''''S METHOD(Ⅱ)--EXPERIMENTAL EVALUATION[J].Chinese Journal of Computers,1998,21(Z1):86-91. |
| |
| Authors: | HE Si-Min ZHANG Bo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
