只为小站
首页
域名查询
文件下载
登录
基于参与冲突分析次数的动态
学习子句评估
策略
针对现有
学习子句评估
策略的单一性,提出一种基于学习子句参与冲突分析次数的评估策略,并将该策略分别与经典的文字块距离评估策略和活跃值评估策略结合,形成两个动态
学习子句评估
策略。基于2018年SAT国际竞赛部分基准实例,将动态评估策略与原评估策略进行参数适应性对比实验,并通过2018和2017年的基准实例进行评估。结果表明动态评估策略能更好地评估学习子句的质量,由此生成的求解器在求解数量和速度方面表现出较好的求解性能。
2021-04-30 17:03:01
1.24MB
可满足性问题
冲突分析
学习子句评估
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
Elsevier爱思唯尔的word模板.zip
全国道路网SHP数据.zip
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
转速、电流双闭环直流调速Simulink源文件.zip
Spring相关的外文文献和翻译(毕设论文必备)
YOLOv5 人脸口罩图片数据集
ChinaMeteorologicalDataHandler.R
Alternative A2DP Driver 1.0.5.1 无限制版
Plexim Plecs Standalone 4.1.2 x64.7z
多目标微粒子群算法MOPSO MATLAB代码
基于YOLOV5的车牌定位和识别源码.zip
ios无人直播 虚拟视频实用版 可以导入视频
数字图像处理[冈萨雷斯]
RNN-LSTM卷积神经网络Matlab实现
quartus II13.0器件库.zip
最新下载
2024 dy最新a-bogus
华大HC32F460 KETA 串口3 DMA接收不定长数据 工程源码 编译通过无错误
USB_HID协议中文版_USB接口HID设备.pdf
四旋翼无人机,simulink建模与仿真,包括简单建模与复杂建模,二者进行比较
拉曼光谱背景除去matlab程序
01_全国各省含九段线矢量边界_shape_json_svg.zip
encase5.0
Qt5.15.2.tar.gz
多功能串口助手 DLT645/DLT698.45软件 模拟电表软件
深度学习溺水姿势检测素材
其他资源
数据的本质
微信小程序商城完整源代码
2013 duilib入门简明教程 整个工程(含资源、代码)
20个可读的obj模型文件
个人理财管理系统
中小型企业网络搭建配置命令
智慧社区生鲜电商O2O平台项目整体运营方案商业计划书策划方案
java课程设计--简单教务管理系统设计实现
source insight sublime text 颜色配置文件
SIMULINK汽车案例
哈工大形式语言与自动机历年试题
XDS560V2驱动程序
【000002】我在阿里学到的运营36课(完结).rar
instantclient_11_2.rar
2019年中国网民年货购买行为调查.pdf
cfn-include:CloudFormation模板的预处理器,支持循环和灵活的include语句-源码
AXMLPrinter3
HTML5在线PDF格式文件阅读器
微信刮刮卡(包括素材和程序)很好用
全国四级地址库
测量两点距离与方位角计算器
DH加密C++演示
雷达CFAR恒虚警检测一维蒙特卡洛仿真
eagle 原理图转ad原理图脚本
RDA5802驱动更新