搜索资源列表

  1. minisat2-070721

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

  3. 所属分类：人工智能/神经网络/遗传算法

    • 发布日期：2024-07-09
    • 文件大小：49152
    • 提供者：jeavens

源码中国 www.ymcn.org