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 form › Data set/Database

Abstract

A Dataset, containing runtimes of the adf-bdd solver and comparisons with other ADF-solvers.

@misc{20ad551687424561a07d8d500da4a145,

title = "Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1",

abstract = "A Dataset, containing runtimes of the adf-bdd solver and comparisons with other ADF-solvers.",

author = "Stefan Ellmauthaler and Gaggl, {Sarah A.} and Dominik Rusovac and Wallner, {Johannes Peter}",

year = "2022",

doi = "10.5281/zenodo.6498235",

language = "English",

publisher = "Zenodo",

}

TY - ADVS

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

AU - Ellmauthaler, Stefan

AU - Gaggl, Sarah A.

AU - Rusovac, Dominik

AU - Wallner, Johannes Peter

PY - 2022

Y1 - 2022

N2 - A Dataset, containing runtimes of the adf-bdd solver and comparisons with other ADF-solvers.

AB - A Dataset, containing runtimes of the adf-bdd solver and comparisons with other ADF-solvers.

U2 - 10.5281/zenodo.6498235

DO - 10.5281/zenodo.6498235

M3 - Data set/Database

PB - Zenodo

ER -