全文总字数：2001字

1. 研究目的与意义及国内外研究现状

目的：了解可满足问题的现状；掌握可满足问题目前已有的算法；研究已有算法，并通过总结加以改进，设计出一个新算法

研究意义：命题逻辑公式的cnf范式的可满足问题（sat）是计算机科学非常重要的核心问题，在人工智能、数据库检索等方面有广泛的应用。

2. 研究的基本内容

1、 学习和了解国内外关于可满足问题的文献

2、 研究可满足问题的算法，介绍几种已有的可满足问题的算法

3、 深入研究可满足问题问题，总结并改进提出一个新算法

3. 实施方案、进度安排及预期效果

实行方案：在指导教师的监督与指导下制定论文进度，遇到不能解决的问题请教导师并一起研究。

进度：2月15日-2月22日 认真研究参考文献，构思论文结构

2月23日-3月15日 查阅并翻译相关外文文献，列出论文大纲

4. 参考文献

【1】 朱大铭, 马绍铭, 张平平 合取范式3可满足问题的局部搜索近似算法 计算机学报 第33卷 第7期 2010年7月

【2】 赵同昇 朱文兴 max-sat问题一种改进的局部搜索算法 计算机工程与科学 vol.30.no11,2008

【3】 林奋,周育人 求解可满足问题的改进的蚁群算法 华南理工大学 计算机科学与工程学院