The VLSAT (Very Large SAT) Benchmark Suite
收藏官方服务：
资源简介：
The VLSAT benchmark suite (where "VL" stands for "Very Large") is a collection of one hundred of SAT formulas to be used as benchmarks in scientific experiments and software competitions. These SAT formulas have been obtained from the automatic conversion into Nested-Unit Petri Nets (NUPNs) of a large collection of Petri nets modelling real-life problems, such as communication protocols and concurrent systems.
提供机构：
PerSciDo创建时间：
2020-03-11
