The VLSAT-1 Benchmark Suite

11/19/2020
by   Pierre Bouvier, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset