搜索资源列表

  1. zchaff

    0下载：
  2. 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver

  3. 所属分类：数值算法/人工智能

    • 发布日期：2024-06-18
    • 文件大小：4089856
    • 提供者：gejuan

源码中国 www.ymcn.org