Anna Blume Jakobsen

According to our database, Anna Blume Jakobsen authored at least 10 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Depth-Optimal Quantum Layout Synthesis as SAT.

Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

2024

Adiar.

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

Dataset, October, 2024

Adiar.

Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Casper Moldrup Rysgaard, Mathias Weller Berg Thomasen

Dataset, April, 2024

Adiar.

Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Casper Moldrup Rysgaard, Mathias Weller Berg Thomasen

Dataset, March, 2024

Fast Symbolic Computation of Bottom SCCs.

Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Adiar.

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

Dataset, December, 2023

Fast Symbolic Computation of Bottom SCCs - TACAS 2024 artifact.

Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis

Dataset, December, 2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Adiar Binary Decision Diagrams in External Memory.

Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

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