可满足性问题的预处理策略分析与分析-analysis and analysis of preprocessing strategies for satisfiability problems.docxVIP

目录摘要..................................................................................................................... IABSTRACT................................................................................................................ II目录...............................................................................................................III第一章 绪论...........................................................................................................11.1 课题背景..................................................................................................11.2 主要内容和研究目标..............................................................................21.3 论文组织结构..........................................................................................2第二章 相关研究综述...........................................................................................42.1 可满足性问题的基本定义......................................................................42.2 可满足性问题中求解算法的相关研究..................................................52.2.1 完备性求解算法...........................................................................52.2.2 非完备性求解算法.......................................................................62.3 可满足性问题预处理技术的相关研究..................................................72.3.1 轻量级预处理算法的基本简化规则...........................................82.3.2 变量消除算法...............................................................................92.4 小结........................................................................................................13第三章 变量消除算法的优化与设计.................................................................143.1 不同约束条件对合取范式中的子句规模的影响................................143.2 基于子句文字长度动态约束条件的变量消除算法的设计................163.3 小结........................................................................................................18第四章 基于复杂网络的预处理器性能评估方案.............................................194.1 复杂网络的基本定义...................................................