应用线性代数求解可满足性问题的研究与实现
| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-8页 |
| 第1章 引言 | 第8-14页 |
| ·SAT问题的背景 | 第8页 |
| ·SAT问题的意义 | 第8-10页 |
| ·SAT问题在实际当中的应用 | 第10页 |
| ·SAT问题研究现状 | 第10-12页 |
| ·本文研究的问题与主要工作 | 第12页 |
| ·本文结构安排 | 第12-14页 |
| 第2章 预备知识 | 第14-22页 |
| ·P类与NP类问题 | 第14-15页 |
| ·命题逻辑公式可满足性的相关定义 | 第15-16页 |
| ·SAT问题定义及相关性质 | 第16-19页 |
| ·预处理方法 | 第19-21页 |
| ·本章小结 | 第21-22页 |
| 第3章 从SAT问题到线性代数 | 第22-37页 |
| ·SAT问题转换 | 第22-25页 |
| ·SAT问题与线性代数 | 第25-34页 |
| ·SAT问题的求解 | 第34-36页 |
| ·本章小结 | 第36-37页 |
| 第4章 求解器算法实现 | 第37-67页 |
| ·求解器框架 | 第37-39页 |
| ·解析模块的设计与实现 | 第39-40页 |
| ·矩阵求解模块的设计与实现 | 第40-56页 |
| ·模型求解模块的设计与实现 | 第56-65页 |
| ·算法复杂度分析 | 第65-66页 |
| ·本章小结 | 第66-67页 |
| 第5章 实验结果与分析 | 第67-71页 |
| ·实验概述 | 第67页 |
| ·正确性验证和效率对比 | 第67-69页 |
| ·测试结果分析 | 第69-70页 |
| ·本章小结 | 第70-71页 |
| 第6章 总结与展望 | 第71-74页 |
| ·本文的工作总结 | 第71-72页 |
| ·未来的工作 | 第72-74页 |
| 参考文献 | 第74-79页 |
| 致谢 | 第79页 |
