计算技术与自动化2009，Vol.28Issue(4)：138-143,6.
可满足性问题的研究综述
A Survey of Algorithms for SAT Problem
摘要
关键词
可满足性问题/NP完全问题/参数计算分类
信息技术与安全科学引用本文复制引用
王建新,管利娜,江国红..可满足性问题的研究综述[J].计算技术与自动化,2009,28(4):138-143,6.基金项目
国家自然科学基金项目(60773111) （60773111）
国家973前期研究专项资金项目( 2008CB317107) （ 2008CB317107）
国家教育部创新团队资助计划项目(IRT0661) （IRT0661）
