| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 目录 | 第6-7页 |
| 引言 | 第7-9页 |
| 第一章 NAE-3SAT 问题和 | 第9-11页 |
| 1.1 基本概念 | 第9-10页 |
| 1.2 SAT 问题及 | 第10页 |
| 1.3 NAE-3SAT 问题和 | 第10-11页 |
| 第二章 分支回溯法 | 第11-13页 |
| 2.1 分支回溯法 | 第11-12页 |
| 2.2 分支回溯法的应用 | 第12-13页 |
| 第三章 基于分支回溯的 NAE-3SAT 问题求解算法 | 第13-21页 |
| 3.1 算法 NAE | 第13-17页 |
| 3.1.1 化简规则 | 第13-15页 |
| 3.1.2 算法 NAE 基本框架 | 第15-17页 |
| 3.2 算法 NAE 时间复杂性分析 | 第17-21页 |
| 3.2.1 分支树概述 | 第17-19页 |
| 3.2.2 算法 NAE 时间复杂性 | 第19-21页 |
| 第四章 基于分支回溯的 | 第21-26页 |
| 4.1 算法 CNAE | 第21-24页 |
| 4.1.1 化简规则 | 第21-23页 |
| 4.1.2 算法 CNAE 基本框架 | 第23-24页 |
| 4.2 算法 CNAE 时间复杂性分析 | 第24-26页 |
| 第五章 总结与展望 | 第26-27页 |
| 参考文献 | 第27-31页 |
| 致谢 | 第31-32页 |
| 在学期间公开发表论文及著作情况 | 第32页 |