文件名称:sp-1.4
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- [C/C++] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 1.43mb
- 下载次数：
- 0次
- 提 供 者：
- lily****
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
人工智能的一个重要方法，随机SAT问题，即一种复杂的组合优化方法，算法清晰，简单，易懂，但涉及较深的数学知识，（该源码基于linux平台的C程序）-Artificial Intelligence an important method, random SAT problems, namely, a complex combinatorial optimization method, the algorithm clear, simple, easy to understand, but involves deeper mathematical knowledge, (the source linux-based platform C program)
(系统自动生成,下载前可以参看下载内容)
下载文件列表
sp-1.4
......\Changelog
......\COPYING
......\formula.c
......\formula.h
......\formula.o
......\Makefile
......\merge.c
......\merge.exe
......\merge.o
......\queue.c
......\queue.h
......\queue.o
......\random.c
......\random.h
......\random.o
......\README
......\solution.tmp.lst
......\sp.c
......\sp.exe
......\sp.h
......\sp.o
......\spsol.tmp.lst
......\verify.c
......\verify.exe
......\verify.exe.stackdump
......\verify.o
......\walksat.c
......\walksat.exe
......\walksat.o
......\wsat.tmp.out
......\wsatsol.tmp.lst
......\Changelog
......\COPYING
......\formula.c
......\formula.h
......\formula.o
......\Makefile
......\merge.c
......\merge.exe
......\merge.o
......\queue.c
......\queue.h
......\queue.o
......\random.c
......\random.h
......\random.o
......\README
......\solution.tmp.lst
......\sp.c
......\sp.exe
......\sp.h
......\sp.o
......\spsol.tmp.lst
......\verify.c
......\verify.exe
......\verify.exe.stackdump
......\verify.o
......\walksat.c
......\walksat.exe
......\walksat.o
......\wsat.tmp.out
......\wsatsol.tmp.lst