Selected Benchmarks for CNF-to-BDD Compilation

Clemens Dubslaff (Contributor)
Nils Husung (Contributor)
Nikolai Käfer (Contributor)
Joshua Wirtz (Creator)

Dataset

Date made available	19 Oct 2024
Publisher	Zenodo

DOI
10.5281/zenodo.13954564

Access Dataset

open

Cite this