Efficient Binary Decision Diagram Manipulation in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Mathias Weller Berg Thomasen (CoRR, 2021)

Adiar Binary Decision Diagrams in External Memory. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Mathias Weller Berg Thomasen (TACAS (2), 2022)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Erik Funder Carstensen; Mathias Weller Berg Thomasen (Zenodo, 2023)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Mathias Weller Berg Thomasen (Zenodo, 2024)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Mathias Weller Berg Thomasen (Zenodo, 2024)

Adiar. - Steffan Christ Sølvsten; Jaco van de Pol; Anna Blume Jakobsen; Casper Moldrup Rysgaard; Erik Funder Carstensen; Mathias Weller Berg Thomasen (Zenodo, 2024)