搜索【求解】的结果

z3-4.8.9-x64-win.zip

z3约束求解器4.8.9版本，win64位关于z3的其他版本可以去github下载https://github.com/Z3Prover/z3/releases

2022-05-09 20:28:45 44.38MB Z3 约束求解器笔记 WIN64

1

一种新的求解非线性最小二乘问题的牛顿迭代算法.docx

2022-05-09 19:15:28 473KB 算法 文档资料

一种求解有限循环群的子群的快速算法_平衡法.docx

2022-05-09 19:15:21 177KB 算法 文档资料

人工智能之遗传算法求解01背包问题实验报告.doc

2022-05-09 19:14:51 51KB 人工智能 文档资料

2022-05-09 19:14:18 122KB 文档资料 算法

MATLAB中Gauss伪谱法实现运载火箭轨迹优化问题求解。

2022-05-09 19:13:16 1.43MB matlab 综合资源 开发语言

1

matlab 非线性方程组求解m程序牛顿迭代法各种演变

2022-05-09 16:47:32 13KB matlab 牛顿迭代法 非线性方程组 m程序

1

2022-05-09 15:09:01 623KB 简介

1

一种基于邻域搜索机制的旅行商问题求解

2022-05-09 14:58:59 136KB 旅行商问题; 邻域; 随机搜索; 概率搜索;

1

八数码问题求解源代码

人工智能八数码 A*算法 A算法宽度优先搜索 MFC界面

2022-05-09 10:59:10 46KB 人工智能 八数码 A*算法 A算法

1