电路图纸
Proff of the NP-Completeness of the 3-SAT problem
3-SAT 技术资料
汇集 3-SAT 相关的电路原理图、PCB工程文件、单片机/FPGA源代码、数据手册与应用设计方案。
收录资源 500 份
全站深度检索
共匹配 500 份工程资源
· 第 1 / 50 页
PDF文档
Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf for Program Analysis
源码文件
Java版的SAT求解器，基于miniSAT
电路图纸
基于SAT的FPGA布线技术研究基于SAT的FPGA布线技术研究
压缩工程
这是一种非常有用的SAT解析器，速度快，结果准确。希望对大家有所帮助。
电子书籍
C 语言开发的日历（课程设计很不错的） Month:123/1 --- --- --- --- --- --- Sun Mon Tue Wed Thu Fri Sat 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 1…
源码文件
这是一种很好的SAT解析器。通过它，我们可以判断SAT问题是否有解，并且在有解的情况下能找到解
源码文件
05 calgary PhD Wetland Mapping through Semi-variogram Guided Fuzzy Segmentation of Multispectral Sat
资料->【E】光盘论文->【E1】斯坦福博士论文->05 calgary PhD Wetland Mapping through Semi-variogram Guided Fuzzy Segmentation of Multispectral Satelli…
技术文档
命题逻辑的求解器,2004年SAT竞赛第一名的求解器
源码文件
单片机通讯程序,从单片机SAT设备中获得设备状态.