14 citations · 26 across the 10 of their papers we have counts for
Showing 2020Show all
2 papers · 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…
cs.LO2020
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems
Ansgar Fehnker, Hubert Garavel
This volume contains the proceedings of MARS 2020, the fourth workshop on Models for Formal Analysis of Real Systems held as part of ETAPS 2020, the European Joint Conferences on T…