PB Competition Benchmarks
收藏arXiv2025-09-30 收录
下载链接：
https://gitlab.ow2.org/sat4j/sat4j/tree/weakening-investigations
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一组决策基准，其中包含了自第一届起在PB竞赛中使用的小整数。该数据集不仅包含了可满足和不可满足条件的实例，而且对于评估伪布尔求解器中各种削弱策略的性能至关重要。该数据集规模较大，包含了多个实例（总计3903个实例），其任务是对伪布尔求解器策略进行评估。
提供机构：
PB competitions
