文件名称:Qbfgen
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- 上传时间：
- 2012-11-26
- 文件大小：
- 113kb
- 下载次数：
- 0次
- 提 供 者：
- 朱*
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
可以自动生成qbf问题实例,但需要给定一些参数.-can produce QBF instance
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Qbfgen
......\3qbf-5cnf-20var-83cl
......\....................\3qbf-5cnf-20var-83cl.0.qdimacs
......\....................\3qbf-5cnf-20var-83cl.1.qdimacs
......\....................\3qbf-5cnf-20var-83cl.10.qdimacs
......\....................\3qbf-5cnf-20var-83cl.11.qdimacs
......\....................\3qbf-5cnf-20var-83cl.12.qdimacs
......\....................\3qbf-5cnf-20var-83cl.13.qdimacs
......\....................\3qbf-5cnf-20var-83cl.14.qdimacs
......\....................\3qbf-5cnf-20var-83cl.15.qdimacs
......\....................\3qbf-5cnf-20var-83cl.16.qdimacs
......\....................\3qbf-5cnf-20var-83cl.17.qdimacs
......\....................\3qbf-5cnf-20var-83cl.18.qdimacs
......\....................\3qbf-5cnf-20var-83cl.19.qdimacs
......\....................\3qbf-5cnf-20var-83cl.2.qdimacs
......\....................\3qbf-5cnf-20var-83cl.20.qdimacs
......\....................\3qbf-5cnf-20var-83cl.21.qdimacs
......\....................\3qbf-5cnf-20var-83cl.22.qdimacs
......\....................\3qbf-5cnf-20var-83cl.23.qdimacs
......\....................\3qbf-5cnf-20var-83cl.24.qdimacs
......\....................\3qbf-5cnf-20var-83cl.25.qdimacs
......\....................\3qbf-5cnf-20var-83cl.26.qdimacs
......\....................\3qbf-5cnf-20var-83cl.27.qdimacs
......\....................\3qbf-5cnf-20var-83cl.28.qdimacs
......\....................\3qbf-5cnf-20var-83cl.29.qdimacs
......\....................\3qbf-5cnf-20var-83cl.3.qdimacs
......\....................\3qbf-5cnf-20var-83cl.30.qdimacs
......\....................\3qbf-5cnf-20var-83cl.31.qdimacs
......\....................\3qbf-5cnf-20var-83cl.32.qdimacs
......\....................\3qbf-5cnf-20var-83cl.33.qdimacs
......\....................\3qbf-5cnf-20var-83cl.34.qdimacs
......\....................\3qbf-5cnf-20var-83cl.35.qdimacs
......\....................\3qbf-5cnf-20var-83cl.36.qdimacs
......\....................\3qbf-5cnf-20var-83cl.37.qdimacs
......\....................\3qbf-5cnf-20var-83cl.38.qdimacs
......\....................\3qbf-5cnf-20var-83cl.39.qdimacs
......\....................\3qbf-5cnf-20var-83cl.4.qdimacs
......\....................\3qbf-5cnf-20var-83cl.40.qdimacs
......\....................\3qbf-5cnf-20var-83cl.41.qdimacs
......\....................\3qbf-5cnf-20var-83cl.42.qdimacs
......\....................\3qbf-5cnf-20var-83cl.43.qdimacs
......\....................\3qbf-5cnf-20var-83cl.44.qdimacs
......\....................\3qbf-5cnf-20var-83cl.45.qdimacs
......\....................\3qbf-5cnf-20var-83cl.46.qdimacs
......\....................\3qbf-5cnf-20var-83cl.47.qdimacs
......\....................\3qbf-5cnf-20var-83cl.48.qdimacs
......\....................\3qbf-5cnf-20var-83cl.49.qdimacs
......\....................\3qbf-5cnf-20var-83cl.5.qdimacs
......\....................\3qbf-5cnf-20var-83cl.50.qdimacs
......\....................\3qbf-5cnf-20var-83cl.51.qdimacs
......\....................\3qbf-5cnf-20var-83cl.52.qdimacs
......\....................\3qbf-5cnf-20var-83cl.53.qdimacs
......\....................\3qbf-5cnf-20var-83cl.54.qdimacs
......\....................\3qbf-5cnf-20var-83cl.55.qdimacs
......\....................\3qbf-5cnf-20var-83cl.56.qdimacs
......\....................\3qbf-5cnf-20var-83cl.57.qdimacs
......\....................\3qbf-5cnf-20var-83cl.58.qdimacs
......\....................\3qbf-5cnf-20var-83cl.59.qdimacs
......\....................\3qbf-5cnf-20var-83cl.6.qdimacs
......\....................\3qbf-5cnf-20var-83cl.60.qdimacs
......\....................\3qbf-5cnf-20var-83cl.61.qdimacs
......\....................\3qbf-5cnf-20var-83cl.62.qdimacs
......\....................\3qbf-5cnf-20var-83cl.63.qdimacs
......\....................\3qbf-5cnf-20var-83cl.64.qdimacs
......\....................\3qbf-5cnf-20var-83cl.65.qdimacs
......\....................\3qbf-5cnf-20var-83cl.66.qdimacs
......\....................\3qbf-5cnf-20var-83cl.67.qdimacs
......\....................\3qbf-5cnf-20var-83cl.68.qdimacs
......\....................\3qbf-5cnf-20var-83cl.69.qdimacs
......\....................\3qbf-5cnf-20var-83cl
......\3qbf-5cnf-20var-83cl
......\....................\3qbf-5cnf-20var-83cl.0.qdimacs
......\....................\3qbf-5cnf-20var-83cl.1.qdimacs
......\....................\3qbf-5cnf-20var-83cl.10.qdimacs
......\....................\3qbf-5cnf-20var-83cl.11.qdimacs
......\....................\3qbf-5cnf-20var-83cl.12.qdimacs
......\....................\3qbf-5cnf-20var-83cl.13.qdimacs
......\....................\3qbf-5cnf-20var-83cl.14.qdimacs
......\....................\3qbf-5cnf-20var-83cl.15.qdimacs
......\....................\3qbf-5cnf-20var-83cl.16.qdimacs
......\....................\3qbf-5cnf-20var-83cl.17.qdimacs
......\....................\3qbf-5cnf-20var-83cl.18.qdimacs
......\....................\3qbf-5cnf-20var-83cl.19.qdimacs
......\....................\3qbf-5cnf-20var-83cl.2.qdimacs
......\....................\3qbf-5cnf-20var-83cl.20.qdimacs
......\....................\3qbf-5cnf-20var-83cl.21.qdimacs
......\....................\3qbf-5cnf-20var-83cl.22.qdimacs
......\....................\3qbf-5cnf-20var-83cl.23.qdimacs
......\....................\3qbf-5cnf-20var-83cl.24.qdimacs
......\....................\3qbf-5cnf-20var-83cl.25.qdimacs
......\....................\3qbf-5cnf-20var-83cl.26.qdimacs
......\....................\3qbf-5cnf-20var-83cl.27.qdimacs
......\....................\3qbf-5cnf-20var-83cl.28.qdimacs
......\....................\3qbf-5cnf-20var-83cl.29.qdimacs
......\....................\3qbf-5cnf-20var-83cl.3.qdimacs
......\....................\3qbf-5cnf-20var-83cl.30.qdimacs
......\....................\3qbf-5cnf-20var-83cl.31.qdimacs
......\....................\3qbf-5cnf-20var-83cl.32.qdimacs
......\....................\3qbf-5cnf-20var-83cl.33.qdimacs
......\....................\3qbf-5cnf-20var-83cl.34.qdimacs
......\....................\3qbf-5cnf-20var-83cl.35.qdimacs
......\....................\3qbf-5cnf-20var-83cl.36.qdimacs
......\....................\3qbf-5cnf-20var-83cl.37.qdimacs
......\....................\3qbf-5cnf-20var-83cl.38.qdimacs
......\....................\3qbf-5cnf-20var-83cl.39.qdimacs
......\....................\3qbf-5cnf-20var-83cl.4.qdimacs
......\....................\3qbf-5cnf-20var-83cl.40.qdimacs
......\....................\3qbf-5cnf-20var-83cl.41.qdimacs
......\....................\3qbf-5cnf-20var-83cl.42.qdimacs
......\....................\3qbf-5cnf-20var-83cl.43.qdimacs
......\....................\3qbf-5cnf-20var-83cl.44.qdimacs
......\....................\3qbf-5cnf-20var-83cl.45.qdimacs
......\....................\3qbf-5cnf-20var-83cl.46.qdimacs
......\....................\3qbf-5cnf-20var-83cl.47.qdimacs
......\....................\3qbf-5cnf-20var-83cl.48.qdimacs
......\....................\3qbf-5cnf-20var-83cl.49.qdimacs
......\....................\3qbf-5cnf-20var-83cl.5.qdimacs
......\....................\3qbf-5cnf-20var-83cl.50.qdimacs
......\....................\3qbf-5cnf-20var-83cl.51.qdimacs
......\....................\3qbf-5cnf-20var-83cl.52.qdimacs
......\....................\3qbf-5cnf-20var-83cl.53.qdimacs
......\....................\3qbf-5cnf-20var-83cl.54.qdimacs
......\....................\3qbf-5cnf-20var-83cl.55.qdimacs
......\....................\3qbf-5cnf-20var-83cl.56.qdimacs
......\....................\3qbf-5cnf-20var-83cl.57.qdimacs
......\....................\3qbf-5cnf-20var-83cl.58.qdimacs
......\....................\3qbf-5cnf-20var-83cl.59.qdimacs
......\....................\3qbf-5cnf-20var-83cl.6.qdimacs
......\....................\3qbf-5cnf-20var-83cl.60.qdimacs
......\....................\3qbf-5cnf-20var-83cl.61.qdimacs
......\....................\3qbf-5cnf-20var-83cl.62.qdimacs
......\....................\3qbf-5cnf-20var-83cl.63.qdimacs
......\....................\3qbf-5cnf-20var-83cl.64.qdimacs
......\....................\3qbf-5cnf-20var-83cl.65.qdimacs
......\....................\3qbf-5cnf-20var-83cl.66.qdimacs
......\....................\3qbf-5cnf-20var-83cl.67.qdimacs
......\....................\3qbf-5cnf-20var-83cl.68.qdimacs
......\....................\3qbf-5cnf-20var-83cl.69.qdimacs
......\....................\3qbf-5cnf-20var-83cl