文件名称:sp-1.4
介绍说明－－下载内容均来自于网络，请自行研究使用
人工智能的一个重要方法，随机SAT问题，即一种复杂的组合优化方法，算法清晰，简单，易懂，但涉及较深的数学知识，（该源码基于linux平台的C程序）
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 67506284sp-1.4.rar 列表 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