只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
基于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
其他资源
libserial_port.so下载
中睿天下-睿眼WEB攻击溯源系统-产品白皮书.pdf
慧荣SM2256主控开卡工具包
C#学生信息管理系统.zip
基于模糊控制的路径规划算法的实现程序和PPT
三种差分格式解对流方程.docx
仿大众点评引导页+主界面的实现
WannaCry病毒及WannaCry Recovery 光盘映像(可装入虚拟机)
thoughtworks测试trains答案
信息论与编码理论PDF电子书
安卓锁机源码
PyHook3-1.6.1-cp36-cp36m-win_amd64.whl 修复MouseSwitch()错误.zip
基于遗传算法的密集型自动化立体仓库货位分配优化研究.pdf
rxandroid-2.0.1.aar
哈飞路宝节油派评估报告.docx
大数据技术之Kafka.docx
数字设计原理与实践(原书第三版) 中文版 part06
DX200保养要领书-3.pdf
matlab心电信号分析与simulink仿真成果-心电信号分析和仿真结果.rar
CNC系统数据采样插补的新算法
grabcut_matlab
Visual Assist X_10.9.2107 安装+破解
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
Steam离线安装版
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
多机器人编队及避障仿真算法.zip
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
非线性本构关系在ABAQUS中的实现.pdf
中国地面气候资料日值数据集(V3.0)2010-2019.rar
python爬虫数据可视化分析大作业.zip
机械臂碰撞检测 八组逆解碰撞检测 机械臂避障路径规划
空间谱估计理论与算法------程序.rar
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
狂神说全部笔记内容.zip
最新下载
python实现用户画像
李宏毅GAN对抗生成网络2018最新ppt全套
ARS408-404系列数据手册中文版手册和DBC文件
Intel HM55 AHCI XP驱动(x86-x64)
MIPI_RFFE_协议.pdf
2022.05.18.图新地球LSV高清图源大合集400+
imageware安装包
全国2724个大学数据(专业,学校类型,所在地等等)
HiTV-1.5.5直播.apk
libusb-win32-1.2.6.0