Datasets
Search results
-
Selected Benchmarks for CNF-to-BDD Compilation
Dubslaff, C. (Contributor), Husung, N. (Contributor), Käfer, N. (Contributor) & Wirtz, J. (Creator), Zenodo, 19 Oct 2024
DOI: 10.5281/zenodo.13954564, https://zenodo.org/records/13954564
Dataset
-
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust
Husung, N. (Creator), Dubslaff, C. (Creator), Hermanns, H. (Creator) & Köhl, M. A. (Creator), Zenodo, 26 Oct 2023
DOI: 10.5281/zenodo.10044913, https://zenodo.org10044913 and one more link, https://zenodo.org/records/10578461 (show fewer)
Dataset
-
dimagic
Käfer, N. (Contributor), Husung, N. (Contributor) & Dubslaff, C. (Contributor), Zenodo, 10 Jul 2024
DOI: 10.5281/zenodo.12707100, https://zenodo.org/records/12707100
Dataset