VLSAT-2 基准测试套件
数据结构与算法
2021-10-14 v1 符号计算
摘要
本报告介绍 VLSAT-2（"Very Large Boolean SATisfiability problems" 的缩写），这是一个用于解决 SAT 求解问题的科学实验和软件竞赛的基准测试套件的第二部分。VLSAT-2 包含 100 个复杂度递增的基准（50 个可满足公式与 50 个不可满足公式），以 DIMACS CNF 格式在宽松的 Creative Commons 许可下提供。其中 25% 的基准已用于 2020 和 2021 届国际 SAT 竞赛。
引用
@article{arxiv.2110.06336,
title = {The VLSAT-2 Benchmark Suite},
author = {Pierre Bouvier and Hubert Garavel},
journal= {arXiv preprint arXiv:2110.06336},
year = {2021}
}
备注
arXiv admin note: substantial text overlap with arXiv:2011.11049