The VLSAT (Very Large SAT) Benchmark Suite
收藏Mendeley Data2024-03-27 更新2024-06-30 收录
下载链接：
https://perscido.univ-grenoble-alpes.fr/datasets/DS300
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2023-06-28
