| 中文摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-8页 |
| 第一章 引言 | 第8-13页 |
| ·论文的研究背景 | 第8-10页 |
| ·SAT 问题的定义 | 第10-11页 |
| ·SAT 问题在集成电路设计中的应用 | 第11-12页 |
| ·论文的研究任务 | 第12-13页 |
| 第二章 GRASP 及 GRASP+PR 算法的研究 | 第13-21页 |
| ·GRASP 及 GRASP+PR 算法介绍 | 第13-14页 |
| ·GRASP 算法 | 第14-17页 |
| ·GRASP+PR 算法 | 第17-20页 |
| ·GRASP 和 GRASP+PR 对比 | 第20-21页 |
| 第三章 赋权 MAX-SAT 问题的动态凸化方法 | 第21-40页 |
| ·引言 | 第21-22页 |
| ·距离、邻域及局部搜索算法 | 第22-23页 |
| ·MAX-WSAT 辅助函数及其性质 | 第23-26页 |
| ·辅助函数的局部搜索算法 | 第26-30页 |
| ·实验分析 | 第30-34页 |
| ·结论 | 第34-40页 |
| 第四章 图着色问题的动态凸化方法研究 | 第40-55页 |
| ·引言 | 第40-41页 |
| ·概念定义 | 第41-43页 |
| ·辅助函数定义 | 第43-46页 |
| ·GCP 的动态凸化方法 | 第46-50页 |
| ·局部搜索算法的实验分析 | 第50-54页 |
| ·结论 | 第54-55页 |
| 第五章 总结 | 第55-57页 |
| ·本文的主要工作 | 第55-56页 |
| ·展望 | 第56-57页 |
| 参考文献 | 第57-61页 |
| 致谢 | 第61-62页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第62页 |