VLSAT-1 基准测试套件
数据结构与算法
2020-11-24 v1 形式语言与自动机理论
摘要
本报告介绍了 VLSAT-1（意为“Very Large Boolean SATisfiability problems”的缩写），这是一个用于解决 SAT 求解问题的科学实验与软件竞赛的基准测试套件的第一部分。VLSAT-1 包含 100 个复杂度递增的基准测试，以 DIMACS CNF 格式提供，采用宽松的 Creative Commons 许可协议。这些基准测试已被 2020 年国际模型计数竞赛所使用。
引用
@article{arxiv.2011.11049,
title = {The VLSAT-1 Benchmark Suite},
author = {Pierre Bouvier and Hubert Garavel},
journal= {arXiv preprint arXiv:2011.11049},
year = {2020}
}