• Adiar:An I/O-efficient impleme...

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

Title:
Adiar:An I/O-efficient implementation of Decision Diagrams
Authors:
Sølvsten, Steffan, van de Pol, Jaco, Jakobsen, Anna Blume, Rysgaard, Casper Moldrup, Carstensen, Erik Funder, Thomasen, Mathias Weller Berg
Source:
Sølvsten, S, van de Pol, J, Jakobsen, A B, Rysgaard, C M, Carstensen, E F & Thomasen, M W B, Adiar : An I/O-efficient implementation of Decision Diagrams, 2021, Software, GitHub. https://doi.org/10.5281/zenodo.4718218
Publisher Information:
GitHub
Publication Year:
2021
Collection:
Aarhus University: Research
Subject Terms:
Binary Decision Diagrams, I/O-Efficient Algorithms, Time-forward Processing, External Memory Algorithms, Model Checking
Document Type:
other/unknown material
Language:
English
DOI:
10.5281/zenodo.4718218
Availability:
https://pure.au.dk/portal/en/publications/3e5a759c-c862-4fef-ba84-4b3770e63078
https://doi.org/10.5281/zenodo.4718218
https://github.com/SSoelvsten/adiar
https://github.com/logsem/adiar
Rights:
info:eu-repo/semantics/openAccess
Accession Number:
edsbas.2A8FCD04
Database:
BASE