登录
首页 » 其他项目 » 可满足性问题(SAT),NP完全问题 并行算法 MPI

可满足性问题(SAT),NP完全问题 并行算法 MPI

于 2023-02-13 发布 文件大小:5.85 kB
0 248
下载积分: 2 下载次数: 1

代码说明:

可满足性问题(SAT),NP完全问题 并行算法 MPI-satisfiability problem(SAT) MPI,NP PROBLEM

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 学生毕业设计管理系统
    这是一个C++实现的学生毕业设计管理系统,里面都是经过CodeBlock调试过的,绝对正确!
    2022-01-22 14:50:09下载
    积分:1
  • 减少使用盲提取循环平稳信号
    Blind extraction of a cyclostationary signal using reduced-rank cyclic regression―A unifying approach-Blind extraction of a cyclostationary signal using reduced-rank cyclic regression-A unifying approach
    2022-01-26 01:32:40下载
    积分:1
  • 本程序采用牛顿拉夫逊进行电力网络的潮流分布计算,是电力系统教学的工具之一。...
    本程序采用牛顿拉夫逊进行电力网络的潮流分布计算,是电力系统教学的工具之一。-This procedure using the Newton Raphson power networks, the trend of distributed computing, power systems are one of the tools of teaching.
    2022-11-01 17:50:03下载
    积分:1
  • 调整窗体基于 Visual Basic 6 的屏幕大小
    我将要给你展示我的代码模块中,代码名称FormControl,我包括在我创建的所有 VB6 项目。
    2022-04-30 05:51:50下载
    积分:1
  • Software source code PowerBuilderXieLieJiangZuo
    软件源码PowerBuilderXieLieJiangZuo,PowerBuilder系列讲座-Software source code PowerBuilderXieLieJiangZuo
    2022-08-21 12:37:18下载
    积分:1
  • 一个用C++Builder编写的俄罗斯方块游戏
    一个用C++Builder编写的俄罗斯方块游戏-a C Builder sheet prepared by the Russian game
    2022-07-16 21:48:42下载
    积分:1
  • UML的重要资料,我看后获益匪浅,大家可以下载来看看,随便下载。...
    UML的重要资料,我看后获益匪浅,大家可以下载来看看,随便下载。-UML important information, I look after the benefit, everyone can download to look at, just download.
    2022-04-07 16:27:35下载
    积分:1
  • 网络应用功能
    Post function for web applications
    2022-04-11 12:32:39下载
    积分:1
  • Quartus
    QUARTUS-7.2的破解软件,可以破解QUARTUS-7.2,能用到2034年。-The crack QUARTUS-7.2 software, can crack QUARTUS-7.2, can be used to in 2034.
    2022-03-24 14:50:21下载
    积分:1
  • 机器学习,精度估计,交叉
    machine learning, accuracy estimation, cross-validation, bootstrap, ID3, decision trees, decision graphs, naive-bayes, decision tables, majority, induction algorithms, classifiers, categorizers, general logic diagrams, instance-based algorithms, discretization, lazy learning, bagging, MineSet. -machine learning, accuracy estimation, cross-validation, bootstrap, ID3, decision trees, decision graphs, naive- bayes, decision tables, the majority, induction algorithms, classifiers, categorizers, general logic diagrams. instance-based algorithms, discretization. lazy learning, bagging, MineSet.
    2022-01-26 06:08:51下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载