Alfons Laarman
Universiteit Leiden
H-index: 18
Europe-Netherlands
Top articles of Alfons Laarman
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Simulating Quantum Circuits by Model Counting | arXiv preprint arXiv:2403.07197 | Jingyi Mei Marcello Bonsangue Alfons Laarman | 2024/3/11 |
Trade-offs between classical and quantum space using spooky pebbling | arXiv preprint arXiv:2401.10579 | Arend-Jan Quist Alfons Laarman | 2024/1/19 |
A Knowledge Compilation Map for Quantum Information | arXiv preprint arXiv:2401.01322 | Lieuwe Vinkhuijzen Tim Coopmans Alfons Laarman | 2024/1/2 |
Enriching Diagrams with Algebraic Operations | arXiv preprint arXiv:2310.11288 | Alejandro Villoria Henning Basold Alfons Laarman | 2023/10/17 |
Equivalence Checking of Quantum Circuits by Model Counting | arXiv preprint arXiv:2403.18813 | Jingyi Mei Tim Coopmans Marcello Bonsangue Alfons Laarman | 2024/3/27 |
Hybrid divide-and-conquer approach for tree search algorithms | Quantum | Mathys Rennela Sebastiaan Brand Alfons Laarman Vedran Dunjko | 2023/3/23 |
LIMDD: A decision diagram for simulation of quantum computing including stabilizer states | Quantum | Lieuwe Vinkhuijzen Tim Coopmans David Elkouss Vedran Dunjko Alfons Laarman | 2023/9/11 |
A decision diagram operation for reachability | Sebastiaan Brand Thomas Bäck Alfons Laarman | 2023/3/3 | |
Quantum Graph-State Synthesis with SAT | arXiv preprint arXiv:2309.03593 | Sebastiaan Brand Tim Coopmans Alfons Laarman | 2023/9/7 |
Introduction to the special issue for SPIN 2021 | International Journal on Software Tools for Technology Transfer | Alfons Laarman Ana Sokolova | 2023/2 |
Optimizing Quantum Space using Spooky Pebble Games | Arend-Jan Quist Alfons Laarman | 2023/7/12 | |
ParaGnosis: A Tool for Parallel Knowledge Compilation | Giso H Dal Alfons Laarman Peter JF Lucas | 2023/4/26 | |
Incremental property directed reachability | Max Blankestijn Alfons Laarman | 2023/11/9 | |
Efficient implementation of LIMDDs for quantum circuit simulation | Lieuwe Vinkhuijzen Thomas Grurl Stefan Hillmich Sebastiaan Brand Robert Wille | 2023/4/26 | |
Fast equivalence checking of quantum circuits of Clifford gates | Dimitrios Thanos Tim Coopmans Alfons Laarman | 2023/10/19 | |
The Power of Disjoint Support Decompositions in Decision Diagrams | Lieuwe Vinkhuijzen Alfons Laarman | 2022/5/20 | |
D6. 6: Divide and quantum open source software | Sebastiaan Brand Alfons Laarman Vicente Moret | 2022/2/21 | |
A compositional approach to probabilistic knowledge compilation | International Journal of Approximate Reasoning | Giso H Dal Alfons W Laarman Arjen Hommersom Peter JF Lucas | 2021/11/1 |
Model Checking Software | Fabrizio Biondi Thomas Given-Wilson Axel Legay | 2019 | |
Symbolic model checking with sentential decision diagrams | Lieuwe Vinkhuijzen Alfons Laarman | 2020/11/9 |