PB competitions 发布 PB Competition Benchmarks 数据集, 应用在 伪布尔求解器、算法评估 领域

PB competitions 本次发布的数据集 PB Competition Benchmarks, 该数据集是一组决策基准，其中包含了自第一届起在PB竞赛中使用的小整数。该数据集不仅包含了可满足和不可满足条件的实例，而且对于评估伪布尔求解器中各种削弱策略的性能至关重要。该数据集规模较大，包含了多个实例（总计3903个实例），其任务是对伪布尔求解器策略进行评估。

查看PB Competition Benchmarks

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