Volgen
Lukas Burgholzer
Titel
Geciteerd door
Geciteerd door
Jaar
Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations
R Wille, L Burgholzer, A Zulehner
2019 56th ACM/IEEE Design Automation Conference (DAC), 1-6, 2019
1852019
Advanced equivalence checking for quantum circuits
L Burgholzer, R Wille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
732020
Verifying results of the IBM Qiskit quantum circuit compilation flow
L Burgholzer, R Raymond, R Wille
2020 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2020
492020
MQT Bench: Benchmarking software and design automation tools for quantum computing
N Quetschlich, L Burgholzer, R Wille
Quantum 7, 1062, 2023
402023
Random stimuli generation for the verification of quantum circuits
L Burgholzer, R Kueng, R Wille
Proceedings of the 26th Asia and South Pacific Design Automation Conference …, 2021
312021
JKQ: JKU tools for quantum computing
R Wille, S Hillmich, L Burgholzer
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-5, 2020
312020
Improved DD-based Equivalence Checking of Quantum Circuits
L Burgholzer, R Wille
2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 127-132, 2020
302020
Tools for Quantum Computing Based on Decision Diagrams
R Wille, S Hillmich, L Burgholzer
ACM Transactions on Quantum Computing 3 (3), 1-17, 2022
212022
Arrays vs. decision diagrams: A case study on quantum circuit simulators
T Grurl, J Fuß, S Hillmich, L Burgholzer, R Wille
Int’l Symp. on Multi-Valued Logic 50, 176-181, 2020
212020
Limiting the Search Space in Optimal Quantum Circuit Mapping
L Burgholzer, S Schneider, R Wille
2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC), 466-471, 2022
202022
Visualizing Decision Diagrams for Quantum Computing (Special Session Summary)
R Wille, L Burgholzer, M Artner
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 768-773, 2021
192021
The Power of Simulation for Equivalence Checking in Quantum Computing
L Burgholzer, R Wille
2020 57th ACM/IEEE Design Automation Conference (DAC), 2020
192020
Equivalence Checking of Quantum Circuits with the ZX-Calculus
T Peham, L Burgholzer, R Wille
IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12 (3 …, 2022
172022
Hybrid schrödinger-feynman simulation of quantum circuits with decision diagrams
L Burgholzer, H Bauer, R Wille
2021 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2021
172021
Predicting good quantum circuit compilation options
N Quetschlich, L Burgholzer, R Wille
2023 IEEE International Conference on Quantum Software (QSW), 43-53, 2023
162023
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond
L Berent, L Burgholzer, R Wille
arXiv preprint arXiv:2203.00698, 2022
162022
On Optimal Subarchitectures for Quantum Circuit Mapping
T Peham, L Burgholzer, R Wille
ACM Transactions on Quantum Computing 4 (4), 1-20, 2023
152023
MQT QMAP: Efficient Quantum Circuit Mapping
R Wille, L Burgholzer
Proceedings of the 2023 International Symposium on Physical Design, 198-204, 2023
152023
A SAT encoding for optimal Clifford circuit synthesis
S Schneider, L Burgholzer, R Wille
Proceedings of the 28th Asia and South Pacific Design Automation Conference …, 2023
142023
Compiler optimization for quantum computing using reinforcement learning
N Quetschlich, L Burgholzer, R Wille
2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023
122023
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20