发布 3-SAT Problems 数据集, 应用在 布尔逻辑、算法评估 领域

本次发布的数据集 3-SAT Problems, 该数据集包含了随机生成的3-SAT问题，共有91个条款和20个变量，其中一半是可满足的，另一半是不可满足的。该数据集旨在评估DeepQ算法和Alpha(Go) Zero算法在解决SAT问题时的性能表现。在规模上，训练集包含了32个SAT问题，测试集则包含了200个SAT问题。所涉及的任务是布尔可满足性问题（Sat）解决。

查看3-SAT Problems

关于 ,

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。