您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. sat2021:CDCL SAT求解器中基于哈希的预处理-源码

  2. sat2021 该存储库包含我提交给SAT ​​2021会议的代码,这是我的出版物“ SAT求解器中基于哈希的预处理和处理技术”的一部分。 我提供了三种处理技术的实现:本文详细介绍了包含,消除子句消除和有界变量消除。 这些方法已在2020年SAT竞赛基准上进行了测试,您可以从下载(解压缩后约为30GB,因此我在此处未包括)。 如果您想复制本文的实验,请从下载Main Track基准数据集,并将其放置在文件夹/ p​​ath_to_repository / sat2021 / build /
  3. 所属分类:其它

    • 发布日期:2021-03-13
    • 文件大小:2048
    • 提供者:weixin_42108778