4 citations
1 paper · 2 filters
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…