| Abstract | 第1-5页 |
| 中文摘要 | 第5-12页 |
| 1. Introduction | 第12-15页 |
| ·Background | 第12-13页 |
| ·Main work and future work | 第13-14页 |
| ·Organization of the thesis | 第14-15页 |
| 2. Preliminaries | 第15-20页 |
| ·Propositional logic | 第15-17页 |
| ·Basic definitions and notations | 第17-18页 |
| ·Minimal unsatisfiable formulas | 第18-20页 |
| 3. Upper Bound of f(k) | 第20-32页 |
| ·Basic results | 第20-25页 |
| ·Deterministic computation | 第25-31页 |
| ·Conclusion | 第31-32页 |
| 4. Lower Bound of f(k) | 第32-40页 |
| ·The randomize algorithm | 第32-36页 |
| ·The lower bound of f(k) | 第36-38页 |
| ·Conclusion | 第38-40页 |
| Acknowledgements | 第40-41页 |
| Bibliography | 第41-44页 |
| Publications | 第44-45页 |
| 原创性声明 | 第45页 |
| 关于学位论文使用授权的声明 | 第45页 |
