CDN加速镜像 | 设为首页 | 加入收藏夹
登陆 | 会员注册
当前位置： 首页 资源下载 源码下载 Windows编程 界面编程 其它 搜索资源 - SAT

搜索资源列表

  1. SAT4J_JAVA

    0下载：
  2. Java版的SAT求解器，基于miniSAT-Java version of the SAT solver, based on miniSAT

  3. 所属分类：其它

    • 发布日期：2008-10-13
    • 文件大小：2650729
    • 提供者：baixi

  1. psoSAT

    0下载：
  2. 粒子群优化算法及其在SAT问题和多目标规划问题上的应用,优秀的硕士论文，和大家一起分享

  3. 所属分类：其它

    • 发布日期：2008-10-13
    • 文件大小：204462
    • 提供者：chenjy

  1. sat

    0下载：
  2. 并行程序说明：输出结果为最小生成树的边。运行：本实例中使用了5个处理器

  3. 所属分类：其它

    • 发布日期：2008-10-13
    • 文件大小：6041
    • 提供者：王通
搜珍网 www.dssz.com