output
20172021
most citedA Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm

4 citations

researchers with a paper here
collaborating institutions
Showing cs.DSShow all

1 paper · 1 filter

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…