SAT求解器

SAT求解器技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

SAT求解器 热门资料

查看全部 500 份 →

队列求解迷宫。从建立队列、入队操作、出队操作等进行求解，通过广度搜索取得最短路径。

2015-11-28 1 SAT求解器

特征值求解库，非并行部分，vc9动态库工程，需要集成intel fortran 编译器。已经测试过包中所带的例子。

2014-12-07 83 SAT求解器

摘要：随着开关电源设备小型化、轻便化和集成电路的迅猛发展，本文分析了开关电源的发展对作为构成开关电源的重要元件电解电容器性能的要求，即也必须实现小型化、高频低阻抗化、长寿命化和耐纹波电流。 关键词：开关电源；电解电容器；低阻抗；长寿命

2023-05-10 3 SAT求解器