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

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

Research output: Non-print formData set/Database

Abstract

A Dataset, containing runtimes of the adf-bdd solver and comparisons with other ADF-solvers.
Original languageEnglish
PublisherZenodo
DOIs
Publication statusPublished - 2022

Cite this