文件名称:AOMUSv0.72.tar
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- [Linux] [C/C++] [源码]
- 上传时间：
- 2013-07-28
- 文件大小：
- 94kb
- 下载次数：
- 0次
- 提 供 者：
- 李*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
自助推理可满足性研究算法。用于求解极小不可满足子式的随即搜索算法。-Self-study reasoning algorithm can meet. For solving minimal unsatisfiable sub-formula then search algorithm.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
fr.28482.0.AOMUSv0.72.tar