文件名称:sp-1.4
-
所属分类:
- 标签属性:
- 上传时间:2008-10-13
-
文件大小:1.43mb
-
已下载:0次
-
提 供 者:
-
相关连接:无下载说明:别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容来自于网络,使用问题请自行百度
人工智能的一个重要方法,随机SAT问题,即一种复杂的组合优化方法,算法清晰,简单,易懂,但涉及较深的数学知识,(该源码基于linux平台的C程序)
(系统自动生成,下载前可以参看下载内容)
下载文件列表
sp-1.4/Changelog
sp-1.4/contradiction.tmp.cnf.cnf
sp-1.4/COPYING
sp-1.4/formula.c
sp-1.4/formula.h
sp-1.4/formula.o
sp-1.4/formula.tmp.cnf
sp-1.4/Makefile
sp-1.4/merge.c
sp-1.4/merge.exe
sp-1.4/merge.o
sp-1.4/noconvergence.tmp.cnf
sp-1.4/queue.c
sp-1.4/queue.h
sp-1.4/queue.o
sp-1.4/random.c
sp-1.4/random.h
sp-1.4/random.o
sp-1.4/README
sp-1.4/solution.tmp.lst
sp-1.4/sp.c
sp-1.4/sp.exe
sp-1.4/sp.h
sp-1.4/sp.o
sp-1.4/spsol.tmp.lst
sp-1.4/subformula.tmp.cnf
sp-1.4/verify.c
sp-1.4/verify.exe
sp-1.4/verify.exe.stackdump
sp-1.4/verify.o
sp-1.4/walksat.c
sp-1.4/walksat.exe
sp-1.4/walksat.o
sp-1.4/wsat.tmp.out
sp-1.4/wsatsol.tmp.lst
sp-1.4
www.dssz.com.txt
sp-1.4/contradiction.tmp.cnf.cnf
sp-1.4/COPYING
sp-1.4/formula.c
sp-1.4/formula.h
sp-1.4/formula.o
sp-1.4/formula.tmp.cnf
sp-1.4/Makefile
sp-1.4/merge.c
sp-1.4/merge.exe
sp-1.4/merge.o
sp-1.4/noconvergence.tmp.cnf
sp-1.4/queue.c
sp-1.4/queue.h
sp-1.4/queue.o
sp-1.4/random.c
sp-1.4/random.h
sp-1.4/random.o
sp-1.4/README
sp-1.4/solution.tmp.lst
sp-1.4/sp.c
sp-1.4/sp.exe
sp-1.4/sp.h
sp-1.4/sp.o
sp-1.4/spsol.tmp.lst
sp-1.4/subformula.tmp.cnf
sp-1.4/verify.c
sp-1.4/verify.exe
sp-1.4/verify.exe.stackdump
sp-1.4/verify.o
sp-1.4/walksat.c
sp-1.4/walksat.exe
sp-1.4/walksat.o
sp-1.4/wsat.tmp.out
sp-1.4/wsatsol.tmp.lst
sp-1.4
www.dssz.com.txt
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.