| 可满足性问题的研究综述 |
| |
| 引用本文： | 王建新,管利娜,江国红.可满足性问题的研究综述[J].计算技术与自动化,2009,28(4):138-143. |
| |
| 作者姓名： | 王建新 管利娜 江国红 |
| |
| 作者单位： | 中南大学,信息科学与工程学院,湖南,长沙,410083 |
| |
| 基金项目： | 国家自然科学基金项目，国家973前期研究专项资金项目，国家教育部创新团队资助计划项目 |
| |
| 摘 要： | 对SAT问题及其各种约束子问题进行分类并给出具体定义，着重介绍常规SAT问题、最大可满足性问题（MAX—SAT）和参数化SAT问题的相关算法，并对参数算法中运用的技术进行分析和比较，提出一些SAT问题研究中值得关注的几个方面。
|
| 关 键 词： | 可满足性问题 NP完全问题 参数计算 |
A Survey of Algorithms for SAT Problem |
| |
| WANG Jian-xin,GUAN Li-na,JIANG Guo-hong.A Survey of Algorithms for SAT Problem[J].Computing Technology and Automation,2009,28(4):138-143. |
| |
| Authors: | WANG Jian-xin GUAN Li-na JIANG Guo-hong |
| |
| Affiliation: | (School of Information Science and Engineering, Central South University, Changsha 410083, China) |
| |
| Abstract: | |
| |
| Keywords: | satisfiability problem NP-- complete problem parameterized computation |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
