当前位置:
X-MOL 学术
›
arXiv.cs.DS
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
The VLSAT-1 Benchmark Suite
arXiv - CS - Data Structures and Algorithms Pub Date : 2020-11-19 , DOI: arxiv-2011.11049 Pierre BouvierCONVECS, Hubert GaravelCONVECS
arXiv - CS - Data Structures and Algorithms Pub Date : 2020-11-19 , DOI: arxiv-2011.11049 Pierre BouvierCONVECS, Hubert GaravelCONVECS
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.
中文翻译:
VLSAT-1基准套件
本报告介绍了VLSAT-1(“非常大的布尔SATisfiability问题”的首字母缩写),这是用于解决SAT解决问题的科学实验和软件竞赛的基准套件的第一部分。VLSAT-1包含100多个基准,这些基准的复杂性不断提高,以获许可的知识共享许可以DIMACSCNF格式提出。这些基准已被2020年国际模型计数大赛使用。
更新日期:2020-11-25
中文翻译:
VLSAT-1基准套件
本报告介绍了VLSAT-1(“非常大的布尔SATisfiability问题”的首字母缩写),这是用于解决SAT解决问题的科学实验和软件竞赛的基准套件的第一部分。VLSAT-1包含100多个基准,这些基准的复杂性不断提高,以获许可的知识共享许可以DIMACSCNF格式提出。这些基准已被2020年国际模型计数大赛使用。