CDN加速镜像 | 设为首页 | 加入收藏夹
登陆 | 会员注册
当前位置： 首页 资源下载 搜索资源 - minisat2-0707

搜索资源列表

  1. minisat2-070721

    0下载：
  2. 最新SAT 可满足性问题的求解的C源码，在最近的几次国际比赛中都取得了很好的结果-Compact design SAT solver for conjuctive normal form structure SAT problem. very efficient

  3. 所属分类：AI-NN-PR

    • 发布日期：2017-03-28
    • 文件大小：48776
    • 提供者：jeavens
搜珍网 www.dssz.com