只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
基于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
其他资源
MODI OCR安装包
西门子S7-200项目程序(34个)
Cisco的ASA842镜像
Xilinx原语详解
三电平SVpwmC程序
在FPGA开发平台上,通过按键控制一个弹球小游戏。输出VGA显示信号输送到显示器上显示。
ADC0832 文档+程序源码+Proteus仿真
ICM20948资料(手册代码demo).rar
医学图像处理dcm数据
flash大作业
高斯过程回归与分类的程序(与Gaussian Processes for Machine Learning配套)
FPGA从零开始.pdf
天地图搜索及获取经纬度工具
GY53激光测距资料.zip
skyline 一个空的Mpt,可打开
apache-ivy-2.5.0-bin.zip
从数字工厂到智能制造.pdf
gradle-6.7-all压缩资源包系列.zip
施耐德lexium23伺服驱动器说明书
信息管理系统界面UI
tp5+微信HTML5支付调用微信接口
candence16.6安装破解文件
echarts地图生成工具
asp.net 图片管理系统(C#)
easyui datagrid-datagridview.js自己修改版,再次升级。
关于k-means的一篇好的总结论文
pcdmis 类库文件
MMTool 5.2.0.24 中文版
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
多目标微粒子群算法MOPSO MATLAB代码
先进PID控制Matlab仿真第4版-PDF+代码.zip
航迹融合算法MATLAB仿真程序
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
狂神说Java系列笔记.rar
商用密码应用与安全性评估——霍炜.pdf
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
全国河流水文站坐标.xls
基于蒙特卡洛生成电动汽车充电负荷曲线程序
python爬虫数据可视化分析大作业.zip
基于hadoop商品推荐系统课程设计
计算机专业实习日记+实习周记+实习总结
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
云视通端口扫描器.rar
最新下载
新麦同城家政系统同城家政服务小程序维修搬家保洁月嫂保姆足浴推拿上门到家预约服务在线派单技师入驻
awz一键新机最新版12.8.6无限制机器无限制时间硬改软改
AWZ.zip
ITEAD WIFI ROBOT Panel
VisualSVN.5.1.9永久破解版
kx3553驱动+插件
wsl_update_x64.rar
家政上门服务程序,派单程序 微信公众号程序
C++ 支付宝付款对接,支持回调url,实测可用!
赛达 SD-IPC6082-WIR-F(YC) 升级萤石固件