基于EPCCL理论的知识编译方法研究

提要	第1-7页
第1章 绪论	第7-10页
·知识编译的研究背景	第7页
·知识编译的研究现状	第7-9页
·本文工作	第9-10页
第2章 一种新的EPCCL编译框架	第10-19页
·EPCCL理论的定义	第10-11页
·新的EPCCL编译框架	第11-12页
·将DNF公式编译为EPCCL理论	第12-15页
·DPLL方式	第12-14页
·析取方式	第14-15页
·二者的比较	第15页
·三个典型算法	第15-19页
第3章 EPCCL理论在知识编译图中的定位	第19-25页
·知识编译图	第19-20页
·扩展知识编译图	第20-25页
·简洁性	第21-22页
·查询	第22-23页
·转化	第23-25页
第4章 EPCCL理论的规约	第25-28页
第5章 EPCCL理论在模型计数中的应用	第28-33页
·基于扩展规则的模型计数算法	第28-29页
·#ER算法和#DPLL算法的结合	第29-31页
·EPCCL理论在模型记数中的应用	第31-33页
·求解单个#SAT问题	第31页
·一次性求解多个#SAT问题	第31-33页
第6章 实验结果	第33-36页
·编译器C2E及其实验结果	第33-34页
·算法#DPLL、#ER和#CDE之间的比较	第34-35页
·算法#ERS的实验结果	第35-36页
第7章 结论与展望	第36-38页
参考文献	第38-41页
攻读硕士期间完成的论文	第41-42页
致谢	第42-43页
摘要	第43-45页
Abstract	第45-46页