3-SAT Problems
收藏arXiv2025-09-30 收录
下载链接：
http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了随机生成的3-SAT问题，共有91个条款和20个变量，其中一半是可满足的，另一半是不可满足的。该数据集旨在评估DeepQ算法和Alpha(Go) Zero算法在解决SAT问题时的性能表现。在规模上，训练集包含了32个SAT问题，测试集则包含了200个SAT问题。所涉及的任务是布尔可满足性问题（Sat）解决。
This dataset contains randomly generated 3-SAT instances, each of which includes 91 clauses and 20 variables. Half of the instances are satisfiable, while the other half are unsatisfiable. This dataset is designed to assess the performance of the DeepQ algorithm and AlphaGo Zero algorithm when solving SAT problems. With respect to its scale, the training set contains 32 SAT instances, while the test set encompasses 200 SAT instances. The core task involved herein is Boolean Satisfiability (SAT) problem solving.
提供机构：
Authors of the paper
