HWMCC'24 Benchmarks and Results

From MaRDI portal
(Redirected from Dataset:6700862)


DOI10.5281/zenodo.14775242ZenodoMaRDI QIDQ6700862FDO


Authors Mathias Preiner, Nils Froleyks, Armin Biere

Publication date 30 January 2025

Copyright license Creative Commons Attribution 4.0 International


Description

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=HWMCC%2724_Benchmarks_and_Results&oldid=54645914"
Powered by MediaWiki