Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1

Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac, Johannes Peter Wallner

Publikation: Nonprint-FormenDatensätze / Datenbank

Abstract

A Dataset, containing runtimes of the adf-bdd solver and comparisons with other ADF-solvers.
Originalspracheenglisch
Herausgeber (Verlag)Zenodo
DOIs
PublikationsstatusVeröffentlicht - 2022

Fingerprint

Untersuchen Sie die Forschungsthemen von „Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren