论文标题
VLSAT-1基准套件
The VLSAT-1 Benchmark Suite
论文作者
论文摘要
该报告介绍了VLSAT-1（“非常大的布尔满意度问题”的首字母缩写），这是一个基准套件的第一部分，该基准套件可用于Scientifice Xperiments和解决SATSOLVING问题的Scientifice Xperiments和软件竞赛。VLSAT-1包含100〜越来越复杂的基准，在DIMACSCSCNF格式下，在宽敞的创造性期间中提出。这些基准测试了2020年国际模型计数竞赛使用。
This report presents VLSAT-1 (an acronym for "Very Large Boolean SATisfiability problems"), the first part of a benchmark suite to be used in scientificexperiments and software competitions addressing SAT-solving issues.VLSAT-1 contains 100~benchmarks of increasing complexity, proposed in DIMACSCNF format under a permissive Creative Commons license. These benchmarks havebeen used by the 2020 International Competition on Model Counting.
