没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
基于硬件可编程逻辑的SAT求解算法研究与进展
基于硬件可编程逻辑的SAT求解算法研究与进展
研究论文
0 下载量
50 浏览量
2021-02-24
17:01:19
上传
评论
收藏
1.29MB
PDF
举报
温馨提示
立即下载
基于硬件可编程逻辑的SAT求解算法研究与进展
资源推荐
资源评论
基于硬件可编程逻辑(FPGA)的SAT算法的综述.pdf
浏览：74
基于硬件可编程逻辑(FPGA)的SAT算法的综述.pdf
论文研究-一种基于可编程图形硬件的快速三维图像重建算法.pdf
浏览：64
针对三维CT图像重建时间过长这一瓶颈问题，给出了FDK算法的几何描述，并据此导出了利用可编程图形硬件加速三维图像重建的方法，最后利用图形处理器的可编程、高精度以及并行计算等特性实现了该方法。实验结果表明，该三维图像重建方法非常有效，与原始算法相比取得了8倍左右的重建加速比。
基于DPLL算法的SAT问题求解器【100012387】
浏览：168
5星 · 资源好评率100%
是一个基于DPLL算法的SAT问题求解器。并且利用这个求解器，实现了求解数独游戏。在操作手册.txt中查看目标程序的使用方法。
基于C++ DPLL 算法的 SAT 求解器和二进制数独【100012381】
浏览：28
5星 · 资源好评率100%
SAT 问题即命题逻辑公式的可满足性问题（satisfiability problem），是计算机科学与人工智能基本问题，是一个典型的 NP 完全问题，可广泛应用于许多实际问题如硬件设计、安全协议验证等，具有重要理论意义与应用价值...
基于扩展规则的启发式#SAT求解算法.pdf
浏览：26
基于扩展规则的启发式#SAT求解算法.pdf
基于miniSAT实现的SAT求解器.zip
浏览：113
SAT 问题即命题逻辑公式的可满足性问题（satisfiability problem），是计算机科学与人工智能基本问题，是一个典型的 NP 完全问题，可广泛应用于许多实际问题如硬件设计、安全协议验证等，具有重要理论意义与应用价值...
基于miniSAT实现的SAT求解器【100012386】
浏览：55
5星 · 资源好评率100%
SAT求解器，实现了对cnf文件的读入和输出，基础的DPLL算法以及对此进行的改进，包括非时间顺序回溯、启发式变元选择策略、学习子句和随机重启等优化，并调整相关参数的设置来提升效果。
论文研究-基于寻找可满足2SAT子问题的SAT算法.pdf
浏览：164
提出了一种求解SAT的新算法（FFSAT）。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SAT问题虽然是NP完全问题，但是当所有子句长度不大于2时，SAT问题可以在线性时间求解。使用2-SAT算法-BinSat求解2-SAT子...
数据结构课设基于SAT的二进制数独游戏求解C++源码+课设报告+代码注释.zip
浏览：143
要求基于DPLL算法实现一个完备SAT求解器，对输入的CNF范式算例文件，解析并建立其内部表示；精心设计问题中变元、文字、子句、公式等有效的物理存储结构以及一定的分支变元处理策略，使求解器具有优化的执行性能；对...
SAT求解器minisat
浏览：58
4星 · 用户满意度95%
一个比较著名的SAT求解器,具体参见 http://minisat.se/
基于DPLL的混合遗传算法求解SAT问题’
浏览：47
基于“聚类排序选择”优化遗传算法求解SAT问题时，引入交叉算子和变异算子，并根据适应度函数及问题本 身特性，调节阅值艿，生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛，从而保证了为可满足性公式...
基于C语言 实现 SAT 的数独游戏求解程序【100010778】
浏览：21
5星 · 资源好评率100%
本设计要求基于 DPLL 算法实现一个完备 SAT 求解器，对输入的 CNF 范式算例文件，解析并建立其内部表示；精心设计问题中变元、文字、子句、公式等有效的物理存储结构以及一定的分支变元处理策略，使求解器具有优化的...
基于SAT的数独游戏求解程序
浏览：79
AT问题即命题逻辑公式的可满足性问题（satisfiability problem），是计算机科学与人工智能基本问题，是一个典型的NP完全问题，可广泛应用于许多实际问题如硬件设计、安全协议验证等，具有重要理论意义与应用价值。...
8_基于动态奖惩的CDCL+SAT求解器分支启发式算法1
浏览：22
摘要：分支启发式算法在CDCLSAT求解器中有着非常重要的作用，传统的分支启发式算法在计算变量活性得分时只考虑了冲突次数而并未考虑决策层和冲突决策层所带来的影响
基于SAT的数独游戏求解程序-数据结构课程设计报告.docx
浏览：54
5星 · 资源好评率100%
基于SAT的数独游戏求解程序-数据结构课程设计报告
基于寻找2-SAT子问题的SAT算法
浏览：55
将SAT问题化为2-SAT子问题进行求解，算法效果比UnitWalk算法高效
快速简洁的SAT求解器Gini.zip
浏览：185
因此，SAT 求解器可用于尝试解决难题，例如旅行商问题或 RSA 破解。 在实践中，许多 SAT 问题是很容易的（但还不能解密问题）。求解器用于软件验证、硬件验证和测试、AI 规划、路由等。 标签：Gini
基于QT实现的数独游戏DPLL的SAT求解器设计.zip
浏览：77
5星 · 资源好评率100%
SAT求解器基于DPLL的完备算法，对CNF范式算例文件进行求解，输出答案，并可选择遍历验证答案或将答案存入文件；数独游戏可转化为SAT问题，用本系统实现的SAT求解器可以快捷地对数独问题转化的CNF文件进行求解，再以...
基于DPLL的SAT算法的研究及应用
浏览：56
基于 DPLL 的完备性 SAT 算法研究 （1）预处理：将公式转换为对应的CNF （2）加速搜索的一些启发式策略： BCP（Boolean Constraint Propagation，布尔约束传播）、变量决策策略、冲突分析、子句学习、回溯机制 （3...
SAT 蚁群算法
浏览：99
可满足问题（SAT）是一个 NP-hard 问题，将 SAT 问题转换为无约束的离散优化（最小值）问题。并根据 M Dorigo 提出的蚁 群算法，给出了一种求解 SAT 问题的新方法：改进的最大最小蚁群系统（MMAS-SAT）。在改进的...
行人惯性导航零速检测算法
浏览：136
行人惯性导航零速检测算法
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览：4
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览：94
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
BA无标度网络中的SIR模型
浏览：96
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览：97
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览：142
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束，一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中，贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下，车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览：89
基于机器学习的设备剩余寿命预测方法综述
基于开源工具集的大数据网络安全态势感知及预警架构
浏览：110
基于开源工具集的大数据网络安全态势感知及预警架构
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览：15
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38632624
粉丝: 8
资源:
956
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
Unity中的ConsolePro插件
camera view 1.0.0.unitypackage
压力测试撒大撒大撒大撒
图像视频的车牌检测系统
Matlab Traffic ToolBox
包含全桥变压器计算过程
DB2数据库单机部署安装
Suno AI 音乐下载工具
QT实现的证券盘口信息界面
测试工程师的简单版本OKR
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
