虫虫虫开发者社区

上传资源

随机SAT

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

资源总数

500

随机SAT 热门资料

查看全部 500 份 →

Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf for Program Analysis

Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf for Program Analysis

2013-12-23 80 随机SAT

Java版的SAT求解器

Java版的SAT求解器，基于miniSAT

2013-12-31 123 随机SAT

高随机度随机序列

高随机度随机序列，利用迭代方程具有随机性来产生

2014-08-11 130 随机SAT

Proff of the NP-Completeness of the 3-SAT problem

Proff of the NP-Completeness of the 3-SAT problem

2017-04-13 25 随机SAT

随机数类,产生随机数

随机数类,产生随机数，很好用的，大家试试，不过这是别人的

2015-08-24 147 随机SAT

基于SAT的FPGA布线技术研究

基于SAT的FPGA布线技术研究基于SAT的FPGA布线技术研究

2024-05-07 10 随机SAT

实现高随机度随机序列

C语言实战源码--私藏很久的源码实现高随机度随机序列

2024-02-05 9 随机SAT

随机数

随机数，类似于猜数游戏，猜大了提醒你大了，小了提醒你小了，最终猜到一个数字。

2013-12-28 26 随机SAT