只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
基于DPLL的SAT算法的研究及应用
基于DPLL的SAT算法的研究及应用
上传者:
zyk1060513882
|
上传时间: 2020-01-13 03:16:54
|
文件大小: 2.84MB
|
文件类型: pdf
Sat
.基于 DPLL 的完备性 SAT 算法研究 (1)预处理:将公式转换为对应的CNF (2)加速搜索的一些启发式策略: BCP(Boolean Constraint Propagation,布尔约束传播)、变量决策策略、冲突分析、子句学习、回溯机制 (3)子句删除机制 (4)随机重启动机制
文件下载
立即下载
评论信息
qq_41722962 :
就是一论文,不要下载真的垃圾
2019-04-07
其他资源
毫米波雷达FCW国标
公安生僻字安装包
专业技术人员继续教育挂机软件
100篇论文掌握大数据(综述加文章)
python实现网络爬虫 爬取北上广深的天气数据报告 python.docx
latex安装包
JSP学生兼职家教系统--毕业设计
PageRefresh
Unity3D游戏开发标准教程-配套代码资源网盘地址
杨淑英版《电力系统分析复习指导与习题精编》
在线点餐系统的设计与实现
lefse-tool,lefse分析安装所需要的工具集合。
如何创建用户模型:问卷调查与数据分析
intel4965agn.exe
flutter_lucklyshop-master.zip
设计师导航网ThinkPHP导航源码.zip
Windows记事本源代码
一个简单的网盘源代码
最新手机号段归属地数据库(2019年5月发行版) 429052行
吴冬梅+张玉杰DSP技术与应用
pimcsd_toolbox
构建微服务下的性能监控体系
模拟信号处理
提供一套完整的php源码给大家参考,杭州家教网源码
Oracle_Database_9i10g11g编程艺术深入数据库体系结构(第二版)PDF及涉及源代码
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
Keil5安装包
基于OpenCV的车牌号码识别的Python代码(可直接运行)
中国地面气象站观测数据2000-2021
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
Python+OpenCV实现行人检测(含配置说明)
中国地面气候资料日值数据集(V3.0)-201001201912.rar
多目标优化算法(四)NSGA3的代码(python3.6)
基于蒙特卡洛生成电动汽车充电负荷曲线程序
故障诊断数据集及实现代码
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
转速、电流双闭环直流调速Simulink源文件.zip
MATLAB之LSTM预测
Vivado license 永久
avantage 软件 xps 处理软件30天后不能使用问题
pytorch实现RNN实验.rar
最新下载
vb6调用OneNote2013 OCR识别图像
导出COM3D2模型为MMD可用资源的插件
Petrel2018安装方法_202204091
中药指纹图谱相似度评价系统2012版.rar
抖音推荐接口v2版本新版
摩托罗拉GP3688对讲机扩频写频完整资料
mike21 MT泥沙模块教程
EXE化妆师 EXE文件修改后缀
多尺度特征融合的膨胀卷积残差网络高分一号影像道路提取
计算机网络(第六版)(谢希仁著)课件+实验+配套光盘