1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.DS2021
The VLSAT-2 Benchmark Suite
Pierre Bouvier, Hubert Garavel
This report presents VLSAT-2 (an acronym for "Very Large Boolean SATisfiability problems),the second part of a benchmark suite to be used in scientific experiments and softwarecomp…
cs.DS2020★ 1 cited
The VLSAT-1 Benchmark Suite
Pierre Bouvier, Hubert Garavel
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 com…