SAT Competition 发布 SAT Competition 2020 Instances 数据集, 应用在 布尔satisfiability问题、定理证明 领域

SAT Competition 本次发布的数据集 SAT Competition 2020 Instances, 该数据集是从2020年SAT竞赛中选取的满足和不满足实例的集合，特别是那些在规定时间内由Glucose 3.0求解器解决的实例。在实验过程中，根据技术复杂性和性能问题对实例进行了筛选。从61个候选实例中，我们选出了53个实例。该数据集的任务是评估具有预学习子句和子句删除特性的CDCL求解器的性能。

查看SAT Competition 2020 Instances

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