资源简介
.基于 DPLL 的完备性 SAT 算法研究
(1)预处理:将公式转换为对应的CNF
(2)加速搜索的一些启发式策略:
BCP(Boolean Constraint Propagation,布尔约束传播)、变量决策策略、冲突分析、子句学习、回溯机制
(3)子句删除机制
(4)随机重启动机制
代码片段和文件信息
- 上一篇:电影院剧场售票管理系统
- 下一篇:平面离散点集外轮廓提取
相关资源
- SATA 2.0 协议
- Localisation indoor
- SATI文献题录分析工具
- WINPE集成SATA驱动,支持ACHI模式
- china-satellite-navigation-conference-csnc-201
- SAR图像自动目标识别
- SATA 3.0标准规范-SATA_Specification_Rev3.0
- SATA协议相关资料
- Landsat 8地表温度反演免费软件北京大
- Systems Analysis and Design in a Changing Worl
- HDR Deghosting: How to deal with Saturation
- SATI题录分析工具
- MindShare SATA Storage Technology
- SATA 3.3官方规范
- china-satellite-navigation-conference-csnc-201
- [2017]Springer Handbook of Global Navigation S
- STK8.1安装包分享含破解教程
- SatScan软件说明书——中文翻译版
- VSAT链路计算
- 基于ENVI的Landsat数据去条带插件
- Landsat8LST-地表温度反演
- LANDSAT8辐射定标与大气校正
- Landsat8拼接与裁剪代码IDL
- dssat模型AutomaticRUN
- A HIGH PERFORMANCE OPEN SOURCE SATA2 CORE
- HP B110I SATA RAID 磁盘阵列驱动
- 一份有关于SATA 技术介绍
- Chirp Scaling算法处理RADARSAT-1数据_shar
- 基于landsat8利用水体指数提取海岸线
- SATO打印测试程序
评论
共有 条评论