基于DPLL的SAT算法的研究及应用
.基于DPLL的完备性SAT算法研究(1)预处理:将公式转换为对应的CNF(2)加速搜索的一些启发式策略:BCP(BooleanConstraintPropagation,布尔约束传播)、变量决策策略、冲突分析、子句学习、回溯机制(3)子句删除机制(4)随机重启动机制
用户评论
推荐下载
-
论文研究基于群体动力学的协同过滤算法及应用.pdf
针对传统协同过滤算法稀疏矩阵和推荐精度不高的问题,根据一种社会心理学模型提出了基于群体动力学的协同过滤算法。该算法综合考虑了个体因素和环境因素对用户评分行为的影响,以此来调整传统的评分预测方法,然后为
41 2020-01-03 -
基于稀疏表示和深度学习的图像识别算法及应用研究
基于稀疏表示和深度学习的图像识别算法及应用研究,
41 2019-07-09 -
论文研究基于粒子群算法的GM11幂模型及应用.pdf
在灰色Verhulst模型的基础上对等间隔和非等间隔GM(1,1)幂模型进行了研究,讨论了模型的求解过程,分析了模型曲线形状与幂指数、发展系数之间的关系。将平均相对误差看成幂指数、发展系数和灰作用量的
38 2020-01-05 -
基于Minkowski距离的一致聚类改进算法及应用研究
基于Minkowski距离的一致聚类改进算法及应用研究
6 2021-04-24 -
sat_solver_resolution基于2CNF中使用PLY的解析方法的SAT求解器源码
基于解析方法的SAT求解器 HSE算法和软件设计离散数学课程中的家庭作业项目。 基于解析工具。 任务描述 给定2-CNF中的布尔公式,请使用解析方法确定是否可满足要求。 2-CNF的子句可以是以下两种
6 2021-02-08 -
成像算法及的应用.ppt
成像技术及应用 缪竟鸿 天津工业大学 天津工业大学 感觉器官 令人为了从外界获取信息,必须借助于感觉器宜 y 而最直观的信息就是图像,眼睛所获得的 信息的速度是最快的,信息量也是最多的 由于人的身体条
8 2020-12-16 -
Apriori算法的改进及应用
Improvement and Application of Apriori Algorithm
24 2019-06-27 -
CLAS算法的源码及应用
通过学习并使用CLAS算法,可以更好地实现PPP-RTK算法,提高科研和实际生产的效率。本代码可供科研工作者和技术人员参考和借鉴。
6 2023-03-28 -
SPFA算法的优化及应用
本资料详细的介绍了SPFA算法的优化及应用。 深入浅出。 你值得拥有。
8 2021-05-03 -
phaser arcade sat Phaser3精灵的SAT碰撞源码
相位饱和 项目设置 yarn install 编译和热重装以进行开发 yarn run serve 编译并最小化生产 yarn run build 运行测试 yarn run test 整理和修复文件
11 2021-02-25
暂无评论