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)

A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. - Casper Abild Larsen; Simon Meldahl Schmidt; Jesper Steensgaard; Anna Blume Jakobsen; Jaco van de Pol; Andreas Pavlogiannis (TACAS (2), 2023)

Fast Symbolic Computation of Bottom SCCs - TACAS 2024 artifact. - Anna Blume Jakobsen; Rasmus Skibdahl Melanchton Jørgensen; Jaco van de Pol; Andreas Pavlogiannis (Zenodo, 2023)

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

Fast Symbolic Computation of Bottom SCCs. - Anna Blume Jakobsen; Rasmus Skibdahl Melanchton Jørgensen; Jaco van de Pol; Andreas Pavlogiannis (TACAS (3), 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; 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)

Depth-Optimal Quantum Layout Synthesis as SAT. - Anna Blume Jakobsen; Anders B. Clausen; Jaco van de Pol; Irfansha Shaik (SAT, 2025)