只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
基于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
其他资源
minimum_snap
图像/水下图像质量评价指标介绍(含matlab代码).zip
STM32F429 FreeRTOS开发手册(FreeRTOS源码详解对应的电子档)
solidwork 翼型导入器
一次下载搞定,STM32F103各种外围电路合集(都有了)
计算机网络课程设计.zip
图像匹配点查找代码。用c++写的sift查找特征点的算法代码。思路清晰,注释明确。
医院管理系统源码
Fantastical2.2 最新完美日历 mac 破解版本
badboy安装包
期刊稿件管理系统
基于单片机的温度控制系统设计(附程序清单及原理图).pdf
厦门大学《概率统计》期中考试试卷(含答案).pdf
将文件夹资源名单导出
exoop1-源码
转轮密码机
【TAPD标准版】快速上手指南v4.0.0.pdf
FPGA的图像边缘检测
php实验表单页面 最终版
基于FPGA的多路高速串口设计与实现
ct图像重建系统
LPC2136单片机说明
Struts2+Spring2.5+Hibernate3.2框架的搭建
vs2015+opencv3.3+mfc读取摄像头显示在图片控件Picture Control
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
stm32f103+OLED12864+FFT音乐频谱(多种显示效果 提供原理图)
校园网规划与设计(报告和pkt文件)
全国道路网SHP数据.zip
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
基于蒙特卡洛生成电动汽车充电负荷曲线程序
东南大学英语技术写作慕课所有答案
RNN-LSTM卷积神经网络Matlab实现
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
上帝之眼和拾荒者.rar
大唐杯资料+题库(移动通信)
基于STM32的电子时钟设计
最新下载
libstdc++-4.8.5-28.el7.x86_64.rpm
libstdc++-devel-4.8.5-28.el7.x86_64.rpm
DATASHEET_FT2201_v1.4_for _20181112(1).pdf
15_自然灾害数据,全球自然灾害数据可视化分享
行人检测数据集——pascalvoc格式
Modbus TestRtuMaster 测试代码
基于openmesh三角网络模型的补洞算法源代码
BR0-BR15三维装箱经典的测试算例
目标检测_多目标跟踪_匈牙利算法_卡尔曼_C/C++实现
RTL8188EUS RTL8188ETV定频软件