Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory

Steffan Sølvsten; Jaco van de Pol

doi:10.1007/978-3-031-33170-1_28

Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory

Steffan Sølvsten, Jaco van de Pol

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Abstract

We outline how support for Zero-suppressed Decision Diagrams (ZDDs) has been achieved for the external memory BDD package Adiar. This allows one to use ZDDs to solve various problems despite their size exceed the machine’s limit of internal memory.

Originalsprog	Engelsk
Titel	NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Redaktører	Kristin Yvonne Rozier, Swarat Chaudhuri
Antal sider	8
Udgivelsessted	Cham
Forlag	Springer
Publikationsdato	jun. 2023
Sider	464-471
ISBN (Trykt)	978-3-031-33169-5
ISBN (Elektronisk)	978-3-031-33170-1
DOI	https://doi.org/10.1007/978-3-031-33170-1_28
Status	Udgivet - jun. 2023

Navn	Lecture Notes in Computer Science (LNCS)
Vol/bind	13903
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-031-33170-1_28Licens: Andet

1 Software

Adiar: An I/O-efficient implementation of Decision Diagrams
Sølvsten, S. (Udvikler), van de Pol, J. (Andet), Jakobsen, A. B. (Udvikler), Rysgaard, C. M. (Udvikler), Carstensen, E. F. (Udvikler) & Thomasen, M. W. B. (Udvikler), 25 apr. 2021
Publikation: Bidrag der ikke har en tekstform › Software

Åben adgang

Citationsformater

@inproceedings{631adf7720cc4f48ad1bd5042b911af2,

title = "Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory",

abstract = "We outline how support for Zero-suppressed Decision Diagrams (ZDDs) has been achieved for the external memory BDD package Adiar. This allows one to use ZDDs to solve various problems despite their size exceed the machine{\textquoteright}s limit of internal memory.",

keywords = "Zero-suppressed Decision Diagrams, External Memory Algorithms",

author = "Steffan S{\o}lvsten and {van de Pol}, Jaco",

year = "2023",

month = jun,

doi = "10.1007/978-3-031-33170-1_28",

language = "English",

isbn = "978-3-031-33169-5",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "464--471",

editor = "Rozier, {Kristin Yvonne} and Swarat Chaudhuri",

booktitle = "NASA Formal Methods",

address = "Netherlands",

}

Sølvsten, S & van de Pol, J 2023, Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. i KY Rozier & S Chaudhuri (red), NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Springer, Cham, Lecture Notes in Computer Science (LNCS), bind 13903, s. 464-471. https://doi.org/10.1007/978-3-031-33170-1_28

Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. / Sølvsten, Steffan ; van de Pol, Jaco.
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. red. / Kristin Yvonne Rozier; Swarat Chaudhuri. Cham: Springer, 2023. s. 464-471 (Lecture Notes in Computer Science (LNCS), Bind 13903).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Adiar 1.1

T2 - Zero-Suppressed Decision Diagrams in External Memory

AU - Sølvsten, Steffan

AU - van de Pol, Jaco

PY - 2023/6

Y1 - 2023/6

N2 - We outline how support for Zero-suppressed Decision Diagrams (ZDDs) has been achieved for the external memory BDD package Adiar. This allows one to use ZDDs to solve various problems despite their size exceed the machine’s limit of internal memory.

AB - We outline how support for Zero-suppressed Decision Diagrams (ZDDs) has been achieved for the external memory BDD package Adiar. This allows one to use ZDDs to solve various problems despite their size exceed the machine’s limit of internal memory.

KW - Zero-suppressed Decision Diagrams

KW - External Memory Algorithms

U2 - 10.1007/978-3-031-33170-1_28

DO - 10.1007/978-3-031-33170-1_28

M3 - Article in proceedings

SN - 978-3-031-33169-5

T3 - Lecture Notes in Computer Science (LNCS)

SP - 464

EP - 471

BT - NASA Formal Methods

A2 - Rozier, Kristin Yvonne

A2 - Chaudhuri, Swarat

PB - Springer

CY - Cham

ER -

Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory

Abstract

Adgang til dokumentet

Publikation

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

Citationsformater