Adiar.

Anna Blume Jakobsen https://orcid.org/0009-0005-7892-7230 Steffan Christ Sølvsten Jaco van de Pol Anna Blume Jakobsen Mathias Weller Berg Thomasen Casper Moldrup Rysgaard Erik Funder Carstensen Adiar. Zenodo 2026 January https://doi.org/10.5281/zenodo.18412013 streams/repo/zenodo data/11/SolvstenPJRCT23a Anna Blume Jakobsen Anders B. Clausen Jaco van de Pol Irfansha Shaik Depth-Optimal Quantum Layout Synthesis as SAT. 16:1-16:17 2025 SAT https://doi.org/10.4230/LIPIcs.SAT.2025.16 conf/sat/2025 db/conf/sat/sat2025.html#JakobsenCPS25 Anna Blume Jakobsen Anders B. Clausen Jaco C. van de Pol Irfansha Shaik Code, Benchmarks and Data for "Depth-Optimal Quantum Layout Synthesis as SAT" paper at SAT25. 2025 June https://doi.org/10.5281/zenodo.15606051 Zenodo streams/repo/zenodo

Anna Blume Jakobsen Anders B. Clausen Jaco van de Pol Irfansha Shaik Depth-Optimal Quantum Layout Synthesis as SAT. 2025 June abs/2506.06752 CoRR https://doi.org/10.48550/arXiv.2506.06752 db/journals/corr/corr2506.html#abs-2506-06752 streams/journals/corr

Anna Blume Jakobsen Rasmus Skibdahl Melanchton Jørgensen Jaco van de Pol Andreas Pavlogiannis Fast Symbolic Computation of Bottom SCCs. 110-128 2024 TACAS (3) https://doi.org/10.1007/978-3-031-57256-2_6 conf/tacas/2024-3 db/conf/tacas/tacas2024-3.html#JakobsenJPP24 Steffan Christ Sølvsten Jaco van de Pol Anna Blume Jakobsen Casper Moldrup Rysgaard Erik Funder Carstensen Mathias Weller Berg Thomasen Adiar. 2024 October https://doi.org/10.5281/zenodo.13982577 Zenodo streams/repo/zenodo data/11/SolvstenPJRCT23a Steffan Christ Sølvsten Jaco van de Pol Anna Blume Jakobsen Casper Moldrup Rysgaard Mathias Weller Berg Thomasen Adiar. 2024 March https://doi.org/10.5281/zenodo.10822664 Zenodo streams/repo/zenodo data/11/SolvstenPJRCT23a Steffan Christ Sølvsten Jaco van de Pol Anna Blume Jakobsen Casper Moldrup Rysgaard Mathias Weller Berg Thomasen Adiar. 2024 April https://doi.org/10.5281/zenodo.10931517 Zenodo streams/repo/zenodo data/11/SolvstenPJRCT23a Casper Abild Larsen Simon Meldahl Schmidt Jesper Steensgaard Anna Blume Jakobsen Jaco van de Pol Andreas Pavlogiannis A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. 353-371 2023 TACAS (2) https://doi.org/10.1007/978-3-031-30820-8_22 conf/tacas/2023-2 db/conf/tacas/tacas2023-2.html#LarsenSSJPP23 Anna Blume Jakobsen Rasmus Skibdahl Melanchton Jørgensen Jaco van de Pol Andreas Pavlogiannis Fast Symbolic Computation of Bottom SCCs - TACAS 2024 artifact. 2023 December https://doi.org/10.5281/zenodo.10427894 Zenodo streams/repo/zenodo Steffan Christ Sølvsten Jaco van de Pol Anna Blume Jakobsen Casper Moldrup Rysgaard Erik Funder Carstensen Mathias Weller Berg Thomasen Adiar. 2023 December https://doi.org/10.5281/zenodo.10410515 Zenodo streams/repo/zenodo data/11/SolvstenPJRCT23a Steffan Christ Sølvsten Jaco van de Pol Anna Blume Jakobsen Mathias Weller Berg Thomasen Adiar Binary Decision Diagrams in External Memory. 295-313 2022 TACAS (2) https://doi.org/10.1007/978-3-030-99527-0_16 conf/tacas/2022-2 db/conf/tacas/tacas2022-2.html#SolvstenPJT22

Steffan Christ Sølvsten Jaco van de Pol Anna Blume Jakobsen Mathias Weller Berg Thomasen Efficient Binary Decision Diagram Manipulation in External Memory. 2021 abs/2104.12101 CoRR https://arxiv.org/abs/2104.12101 db/journals/corr/corr2104.html#abs-2104-12101

Erik Funder Carstensen Anders B. Clausen Rasmus Skibdahl Melanchton Jørgensen Casper Abild Larsen Andreas Pavlogiannis Jaco van de PolJaco C. van de Pol Casper Moldrup Rysgaard Simon Meldahl Schmidt Irfansha Shaik Steffan Christ Sølvsten Jesper Steensgaard Mathias Weller Berg Thomasen