注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 3sat 问题的benchmark

  2. 里面包含了13组数据，来测试自己的速度，数据格式里面有解释。

  3. 所属分类：C/C++

    • 发布日期：2013-04-01
    • 文件大小：15360
    • 提供者：yuanluliao

  1. 3satStrategy

  2. 3sat的GSAT搜索算法。阅读标准cnf文件，返回无解或变量真值表。

  3. 所属分类：其它

    • 发布日期：2015-09-10
    • 文件大小：97280
    • 提供者：xsymjz

  1. 稠密随机3CNF公式的简短命题反驳

  2. 稠密随机3CNF公式的简短命题反驳

  3. 所属分类：其它

    • 发布日期：2021-03-01
    • 文件大小：1048576
    • 提供者：weixin_38528939