只为小站
首页
域名查询
文件下载
登录
WalkSAT
_java求解SAT
用
WalkSat
来求解布尔可满足性问题 java
2021-09-24 07:15:45
6KB
java
1
walksat
C语言
针对逻辑可满足的求解算法
walksat
的算法c语言实现。包括了CNF范式的文件。
2019-12-21 20:17:41
4.49MB
walksat
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
Monet智能交通场景应用
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
股票价格预测-LSTM-TCN-GBDT：使用四种算法（LSTM，TCN，GRU，GBDT）进行股票价格的预测和预测结果的检验。有四种算法（LSTM，TCN，GRU，GBDT）用于预测股价并检验预测结果-源码
云视通扫描工具.zip
粒子群多无人机协同多任务分配.zip
随机森林用于分类matlab代码
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
基于傅里叶算子的手势识别的完整源代码（Python实现，包含样本库）
voc车辆检测数据集（已处理好，可直接训练）
基于javaweb的网上购物系统（毕业论文+答辩PPT+开题报告+源代码）
Vivado license 永久
基于MATLAB的Filter使用，低通、带通和高通滤波器的仿真
Spring相关的外文文献和翻译(含出处).zip
西门子逻辑控制设计开发_3部10层
最新下载
信息安全数学基础教程(第2版) 参考答案 许春香
MBE最新驱动
TCA9548A-I2C多路复用器原理图/PCB/设计说明-电路方案
Linux升级内核 module-init-tools-3.2.tar.gz、mkinitrd-4.1.18-2.i386.rpm、device-mapper-1.00.19-2.i386.rpm、lvm2-2.00.25-1.01.i386.rpm
C++编写五子棋（带AI，mfc，附教程）
方正畅听2008 Win7破解补丁
Protel DXP 程序_8路计时抢答器-综合文档
劲舞IP暗码转换器，支持易语言登录器
mulitisim-数字频率计.ms14
图幅号转换工具
其他资源
3GPP长期演进（LTE）技术原理与系统设计.pdf
verilog实现的PCM模块
Karel手册中文.pdf
华为大数据认证HCIP-Big Data Developer H13-723大数据题库
基于CY7C68013A的USB2.0详细开发文档
python实现贪吃蛇小游戏
EI会议模板
jdk 1.8.121-win 64
一种重叠社区的发现算法
jsp大作业图书管理系统
windows下可用的yaffs2打包工具
Get Data Back Fat 和NTFS 绿色软件
用于移动医疗监控的可穿戴生理多参数捕获装置
qt-creator-win-opensource-2.5.2.EXE.rar
gRPC_1.34.zip
SPM8 manual
磁梯度张量基础介绍
Discuz 最新版本
64位谷歌浏览器Chrome
单片机MC9S12XS128串口接收指令控制小车运动程序
RTSP服务器 （C语言）
jsp hibernate 论坛
.net mvc3完整案例
greendao-3.2.0和greendao-api-3.2.0 jar包
