HWMCC'24 Benchmarks and Results
From MaRDI portal
Dataset:6700862
DOI10.5281/zenodo.14775242Zenodo14775242MaRDI QIDQ6700862FDOQ6700862
Dataset published at Zenodo repository.
Mathias Preiner, Nils Froleyks, Armin Biere
Publication date: 30 January 2025
Copyright license: Creative Commons Attribution 4.0 International
Bit-level and word-level benchmarks selected for HWMCC'24 and log files and raw results data.
This page was built for dataset: HWMCC'24 Benchmarks and Results
