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

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

Publikation: Nonprint-Formen › Datensätze / Datenbank

Abstract

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

Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Ellmauthaler, S., Gaggl, S. A., Rusovac, D. & Wallner, J. P., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (Hrsg.). Springer, Band 13416. S. 177-189 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13416 LNAI).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

@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 -