只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
基于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
其他资源
联想G31T-LM 最新版BIOS 51KT57A直接上L5420
OpenGL_Nehe(NeHe中文教程)pdf+源码
用excel vba写的日历代码
MATLAB编写语音加噪与去噪(GUI)
javaEE实现人脸识别登录
嵌入式小波零树(ezw)编码matlab程序
rk3399底板、核心板、触摸屏全套原理图pcb
武汉市行政区划图
802.11 Beacon包参数解析
ssm整合项目实例(视频+源码)
ENVI遥感影像处理专题与实践.pdf
组态软件源码
androidlitepal.zip
Verilog设计FPGA接收串口UART发来的指令设定温度报警值实时采集DS18B20温度传感器并显示带报警功能quartus II项目工程文件.zip
3 曾曦作文大手笔 这样写人很精彩.mp4
大数据导论(通识课版)-第9章-数据开放(2020年春季学期).ppt
简单的注册与验证码 网页demo(html、css、js)
基于NetBIOS协议的网络通信系统的设计与实现
8086最小系统原理图
SQLite3_CC++_开发接口简介
EasyCHM3.93
csv编辑器-易语言程序
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
基于OpenCV的车牌号码识别的Python代码(可直接运行)
超大规模集成电路先进光刻理论与应用.pdf
opcua服务器模拟器+opcua客户端工具.rar
CNN卷积神经网络Matlab实现
刚萨雷斯《数字图像处理》第四版答案.pdf
python实现的学生信息管理系统—GUI界面版
人体姿态检测
狂神说Java系列笔记.rar
MATLAB车牌识别系统
mingw-w64-install.exe
现代操作系统原理与实现.pdf
基于LSTM模型的股票预测模型_python
中小型企业网络建设.pkt
最新下载
按键控制8×8LED点阵屏显示图形
epass2001 开发包
microsoft jsharp runtime 2.0
ESC\POS打印图片.docx
Rainmeter 中文文档 第四版
通信算法及其实现.zip
Linux下使用的串口调试工具
AMEsim中文教程
ROBOPro 4.2.3汉化包
android模拟照相机