Adiar: An I/O-efficient implementation of Decision Diagrams

Steffan Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Erik Funder Carstensen; Mathias Weller Berg Thomasen

doi:10.5281/zenodo.4718218

Adiar: An I/O-efficient implementation of Decision Diagrams

Steffan Sølvsten (Udvikler), Jaco van de Pol (Andet), Anna Blume Jakobsen (Udvikler), Casper Moldrup Rysgaard (Udvikler), Erik Funder Carstensen (Udvikler), Mathias Weller Berg Thomasen (Udvikler)

Institut for Datalogi

Publikation: Bidrag der ikke har en tekstform › Software

Originalsprog	Engelsk
Publikationsdato	25 apr. 2021
DOI	https://doi.org/10.5281/zenodo.4718218
Status	Udgivet - 25 apr. 2021

Adgang til dokumentet

10.5281/zenodo.4718218

https://github.com/SSoelvsten/adiarLicens: Andet

3 Konferencebidrag i proceedings
1 Preprint

Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory
Sølvsten, S. & van de Pol, J., jun. 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Cham: Springer, s. 464-471 8 s. (Lecture Notes in Computer Science (LNCS), Bind 13903).
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts
Sølvsten, S. & van de Pol, J., okt. 2023, Automated technology for verification and analysis: Part II. André, É. & Sun, J. (red.). Cham: Springer, s. 72-92 21 s. (Lecture Notes in Computer Science, Bind 14216).
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Adiar Binary Decision Diagrams in External Memory
Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B., mar. 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (red.). Springer, s. 295-313 19 s. (Lecture Notes in Computer Science (LNCS), Bind 13244).
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Fil
28 Downloads (Pure)

Citationsformater

@misc{3e5a759cc8624fefba844b3770e63078,

title = "Adiar: An I/O-efficient implementation of Decision Diagrams",

keywords = "Binary Decision Diagrams, I/O-Efficient Algorithms, Time-forward Processing, External Memory Algorithms, Model Checking",

author = "Steffan S{\o}lvsten and {van de Pol}, Jaco and Jakobsen, {Anna Blume} and Rysgaard, {Casper Moldrup} and Carstensen, {Erik Funder} and Thomasen, {Mathias Weller Berg}",

year = "2021",

month = apr,

day = "25",

doi = "10.5281/zenodo.4718218",

language = "English",

publisher = "GitHub",

}

TY - COMP

T1 - Adiar

T2 - An I/O-efficient implementation of Decision Diagrams

A2 - Sølvsten, Steffan

A2 - van de Pol, Jaco

A2 - Jakobsen, Anna Blume

A2 - Rysgaard, Casper Moldrup

A2 - Carstensen, Erik Funder

A2 - Thomasen, Mathias Weller Berg

PY - 2021/4/25

Y1 - 2021/4/25

KW - Binary Decision Diagrams

KW - I/O-Efficient Algorithms

KW - Time-forward Processing

KW - External Memory Algorithms

KW - Model Checking

U2 - 10.5281/zenodo.4718218

DO - 10.5281/zenodo.4718218

M3 - Software

PB - GitHub

ER -

Adiar: An I/O-efficient implementation of Decision Diagrams

Adgang til dokumentet

Publikation

Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory

Predicting Memory Demands of BDD Operations using Maximum Graph Cuts

Adiar Binary Decision Diagrams in External Memory

Citationsformater