可满足性问题算法研究CNF的简化.pdfVIP

目 录 摘要·······························································1 Abstract···························································2 弓I．言···················-···········································3 第一章绪论························································4 第一节时间复杂度··············································4 第二节关于NP问题·············································5 第三节可满足性问题············································5 第四节逻辑电路与CNF式································一···一·6 第五节本文的思路和组织架构···········一一“········一一”一“