只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
基于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
其他资源
腾讯大数据获取python程序.rar
罚函数法MATLAB程序
C# Windows服务,实现代码,含详细注释及使用播客
Android期末考试题库
OV7670摄像头全套源码(包括上位机,下位机,原理图)
E4A 蓝牙串口LED控制
采用动量梯度下降算法训练 BP 网络
基于JAVA技术爬虫爬网站图片设计与实现(JSP,MySQL)(含录像)(开题报告,毕业论文12000字,程序代码,MySQL数据库,答辩PPT)
PCD点云文件
中国行政边界 省地县三级 *.shp格式 WGS84 支持GIS
Omron_OPC_Server.zip
STM32CubeF4固件包STM32Cube_FW_F4_V1.22.0
02325计算机系统结构 历年真题及答案
Masm for windows
中央电大《合同法》期末总复习资料(含答案).pdf
jvm性能监控与调优.xmind
简单截图.apk经典珍藏版
Excel自定义函数智能提示插件及示例
员工考评系统
学籍管理系统JAVA ACCESS 毕业设计
CAD坐标提取
redis-3.0.5.gem
开源容器云OpenShift构建基于Kubernetes的企业应用云平台(完整版)-kubernetes文档类资源
CycloneTCP_SSL 开源代码
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
C4.5决策树算法的Python代码和数据样本
基于yolov4-keras的抽烟检测(源码+数据集)
voc车辆检测数据集(已处理好,可直接训练)
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
离散时间信号处理第三版课后习题答案
韦来生《数理统计》课后习题与答案
基于Matlab的PI/4 DQPSK的调制解调源代吗
EEMD算法应用于信号去噪.rar
java-spring-web-外文文献翻译40篇.zip
房价预测的BP神经网络实现_python代码
vivado 破解 lisence(有效期到2037年) 下载
西安问题电缆-工程伦理案例分析.zip
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
上帝之眼和拾荒者.rar
画程(版本6.0.0.127)setup个人版
最新下载
25000Linux集群真正去后门+防K复活
Mapping-and-Charting-Solutions-Desktop-1071-169358
考虑粗糙度的混合润滑.rar
诺威达K2201刷机包,10.0版本,解决蓝牙不连接,放音乐一会就断
extjs6.5.3去水印版
Extjs-6.6.0去水印版
Magisk模块:Move_Certificates-v1.9
C++光线跟踪
labview工具包 LV_Multisim_Toolkit
E4AQQ浏览器内核类库.zip