| 摘要 | 第1-6页 |
| Abstraet | 第6-8页 |
| 第一章 前言 | 第8-10页 |
| ·NP—Complete问题和SAT(Satisfiability)问题 | 第8页 |
| ·SAT问题的算法现状及背景 | 第8-9页 |
| ·论文选题的依据及意义 | 第9页 |
| ·使用的方法和结论 | 第9-10页 |
| 第二章 SAT问题概述及传统算法简介 | 第10-17页 |
| ·可满足问题的表示 | 第10-11页 |
| ·求解SAT问题的传统算法 | 第11-17页 |
| ·完备性算法 | 第11-13页 |
| ·局部搜索算法(Local Search) | 第13-17页 |
| 第三章 遗传算法的基本思路及相关概念 | 第17-20页 |
| ·基本思路 | 第17页 |
| ·相关概念 | 第17-18页 |
| ·基本算法及流程图 | 第18-20页 |
| ·基本算法 | 第18-19页 |
| ·流程图 | 第19-20页 |
| 第四章 3-SAT问题的遗传算法设计 | 第20-25页 |
| ·编码设计 | 第20-21页 |
| ·解的编码 | 第20页 |
| ·句子的编码 | 第20-21页 |
| ·初始种群 | 第21页 |
| ·适应度函数 | 第21页 |
| ·遗传算子 | 第21-22页 |
| ·变异算子 | 第21页 |
| ·杂交算子 | 第21-22页 |
| ·程序主要模块 | 第22-25页 |
| ·主控模块 | 第22-23页 |
| ·评估模块 | 第23页 |
| ·杂交模块 | 第23-24页 |
| ·变异模块 | 第24页 |
| ·输出模块 | 第24-25页 |
| 第五章 实验数据及结论 | 第25-27页 |
| 第六章 存在的问题及后续工作 | 第27-28页 |
| ·存在的问题 | 第27页 |
| ·后续工作 | 第27-28页 |
| 致谢 | 第28-29页 |
| 参考文献 | 第29-31页 |
| 附录一：硕士期间发表的论文及参加的科研项目 | 第31-32页 |
| 附录二：源代码 | 第32-43页 |
| 原创性声明 | 第43页 |
| 关于学位论文使用授权的声明 | 第43页 |