用吴方法求解可满足性问题(Ⅱ)--实验研究

• 作者: 张钹 贺思敏
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 算法设计 可满足性问题 吴方法 算法变换 归结法
• 年，卷（期）: 1998,（z1）
• 所属期刊栏目: 人工智能
• 页码范围: 86-91
• 页数: 6页
• 分类号: TP18
• 字数: 5483字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1998.z1.016

摘要

本文使用随机3-SAT实例模型,对算法变换思想指导下设计的吴方法求解可满足性问题的算法进行了实验,并与语义归结、支持集归结和DP算法进行了对比.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张钹	清华大学智能技术与系统国家重点实验室	68	5127	32.0	68.0
2	贺思敏	清华大学计算机科学与技术系	3	8	2.0	2.0