文件名称：遗传算法求解可满足性问题的java实现代码
文件大小：47KB
文件格式：RAR
更新时间：2013-05-30 05:49:00
遗传算法 可满足性问题 java NP 3-SAT
我的毕业设计 遗传算法 可满足性问题 java NP 3-SAT SAT 代码 之前的版本有点小问题 优化了 子句生成的方法 还有简单的设计思路
【文件预览】：
遗传算法可满足问题设计.doc
GAforSAT
----Genetic.java(2KB)
----Gene.java(918B)
----Suitability.java(1KB)
----GAforSAT.java(3KB)
----GeneJudge.java(2KB)
----Test.java(2KB)
----Variation.java(778B)
----RandomArr.java(2KB)
----ClauseClump.java(3KB)