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

所需积分/C币:9 2021-03-13 07:19:12 2KB ZIP
7
收藏 收藏
举报

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

...展开详情
立即下载 低至0.43元/次 身份认证VIP会员低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
sat2021:CDCL SAT求解器中基于哈希的预处理-源码 9积分/C币 立即下载
1/0