教育论文网

关于布尔可满足性判定的新方法研究

硕士博士毕业论文站内搜索    
分类:教育论文网→工业技术论文→自动化技术、计算机技术论文计算技术、计算机技术论文一般性问题论文理论、方法论文算法理论论文
关于布尔可满足性判定的新方法研究
论文目录
 
摘要第1-6页
Abstract第6-7页
第1章 绪论第13-17页
    1.1 研究背景第13页
    1.2 研究现状第13-14页
    1.3 本文的主要工作第14-17页
第2章 预备知识第17-23页
    2.1 布尔可满足性问题第17-19页
    2.2 NP问题第19-21页
    2.3 本章小结第21-23页
第3章 经典的SAT算法第23-43页
    3.1 完备算法第23-31页
        3.1.1 DPLL算法第23-26页
        3.1.2 CDCL算法第26-31页
    3.2 不完备算法第31-42页
        3.2.1 局部搜索第32-34页
        3.2.2 基于优化的方法第34-36页
        3.2.3 纵览传播算法第36-42页
    3.3 本章小结第42-43页
第4章 基于LAF的搜索算法第43-61页
    4.1 LAF化简公式第43-50页
        4.1.1 LAF算法简介第43-47页
        4.1.2 利用LAF算法化简公式第47-50页
    4.2 基于LAF的搜索第50-56页
        4.2.1 基于LAF的完备搜索第50-53页
        4.2.2 基于LAF的剪枝搜索第53-56页
    4.3 复杂性分析和实验数据第56-59页
        4.3.1 复杂性分析第56-57页
        4.3.2 实验数据第57-59页
    4.4 本章小结第59-61页
第5章 1-in-3公式的约减方法第61-71页
    5.1 XCNF公式第61-65页
        5.1.1 1-in-3公式可满足的充要条件第61-63页
        5.1.2 XCNF公式的构建第63-65页
    5.2 XCNF公式上的X-纯文字法则第65-69页
        5.2.1 XCNF到CNF的转化第65-66页
        5.2.2 X-纯文字法则第66-69页
    5.3 其他约减法则第69-70页
    5.4 本章小结第70-71页
第6章 总结第71-73页
参考文献第73-77页
攻读硕士期间取得的研究成果第77-79页
致谢第79页

本篇论文共79页,点击这进入下载页面
 
更多论文
关于布尔可满足性判定的新方法研究
基于深度隐特征分析的推荐算法研究
长江上游纵向峡谷型河流水—气界面
含交直流同塔的交流输电线路接地故
自适应场景的异常音频事件监听系统
台湾传统私家庭园的空间特色研究
软测量技术在在役家用空调器制冷量
新能源汽车电池管理系统硬件设计及
头孢硫脒溶析结晶过程研究
长寿命碱性燃料电池阴离子交换膜研
非贵金属基电催化材料的设计、制备
肺炎克雷伯氏菌碳代谢流定向调控生
几类广义浅水波方程的适定性和爆破
迪拜的快速城市化进程研究及对深圳
面向智能制造的雾计算关键技术研究
细胞色素P450 4A11酶促血压调节相关
重组大肠杆菌4S脱硫途径重构及其关
毕赤酵母核糖体蛋白功能及对外源蛋
不同结构纳米纤维素稳定Pickering乳
基于嵌入式并行运算架构深度学习的
基于鬼成像的相位重建理论研究
基于张量分解的数据补全和去噪算法
预制舱类工业建筑节能技术研究——
面向多义异构数据的分类算法研究
抗聚集型染料的合成及其在染料敏化
基于S,S-二氧—二苯并噻吩稠环单元
滤波器与天线的协同融合设计研究
木质素结构单元间主要化学键连接在
可溶液加工的D-A型共轭聚合物制备及
再生块体混凝土常温及高温后力学性
斜拉索钢丝相对滑移及损伤识别研究
在役大跨径梁桥挠度监测与结构运营
平面并联机构运动可靠性理论与实验
三维内翅片管辊轧-犁切挤压复合成形
基于迁移学习的跨项目软件缺陷预测
可降解高分子三维网络/磷酸钙骨水泥
廉价金属氧化物用于氧化吸附耦合脱
睾丸酮丛毛单胞菌醛脱氢酶的挖掘、
行星齿轮系统振动信号传递机理与非
面向小学儿童群体的建筑使用后评价
基于氧化还原电对(光)电催化的太
基于压缩感知的磁共振图像重构技术
利用过程分析技术对包含多变量调控
基于协同融合的有源和无源多功能滤
光散射多孔结构微发泡制造及量子点
 
SAT论文 NP完全问题论文 LAF论文
版权申明:目录由用户chenzhil**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved