| Abstract | 第1-14页 |
| 1. Introduction | 第14-18页 |
| ·Motivation | 第15-16页 |
| ·Problems and Results | 第16-18页 |
| 2. Minimal Unsatisfiable Formulas | 第18-26页 |
| ·Propositional logic | 第18-19页 |
| ·Preliminaries | 第19-21页 |
| ·Minimal Unsatisfiable Formulas | 第21-26页 |
| 3. Construction of Formulas in MAX~+ | 第26-33页 |
| ·Maximal MU-Formulas | 第26-29页 |
| ·Construction of Formulas in MAX~+ | 第29-32页 |
| ·Soundness and Completeness | 第32-33页 |
| 4. Renaming Problems for MAX~+(k) | 第33-48页 |
| ·Background | 第33-37页 |
| ·Some Definitions | 第33-34页 |
| ·Renaming Problems for MU(1) | 第34-37页 |
| ·Renaming Problems for MAX~+(k) | 第37-45页 |
| ·Important Characterizations of MAX(1) | 第37-40页 |
| ·Algorithms about Renaming Problems for MAX~+(k) | 第40-45页 |
| ·Application of the Literal Renaming | 第45-47页 |
| ·Conclusion | 第47-48页 |
| Acknowledgements | 第48-49页 |
| Bibliography | 第49-52页 |
| Appendix | 第52-53页 |
| 原创性声明 | 第53页 |
| 关于学位论文使用授权的声明 | 第53页 |
