Binary Decision Diagrams on Modern Hardware
收藏数据链接：
官方服务：
资源简介：
The reproducibility artefact for the "Binary Decision Diagrams on Modern Hardware" paper. Follow the instructions in the README document. Depending on the concrete steps you want to reproduce, you may not need to download all files in the artefact. However, at the very least, you'll need either `bin.zip` (pre-compiled binaries) or `src.zip` (source code) and one of the benchmark datasets (`bdd-X-pruned.zip` and `benchmarks-X.tsv`).
提供机构：
Zenodo创建时间：
2023-05-26
