1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.DS2021
The VLSAT-3 Benchmark Suite
Pierre Bouvier
This report presents VLSAT-3 (an acronym for "Very Large Boolean SATisfiability problems"),the third part of a benchmark suite to be used in scientific experimentsand software comp…
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…