Follow
Lukas Burgholzer
Title
Cited by
Cited by
Year
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
2242019
Advanced equivalence checking for quantum circuits
L Burgholzer, R Wille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
952020
MQT Bench: Benchmarking software and design automation tools for quantum computing
N Quetschlich, L Burgholzer, R Wille
Quantum 7, 1062, 2023
872023
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
562020
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
372020
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
362021
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
352022
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
342020
Tools for Quantum Computing Based on Decision Diagrams
R Wille, S Hillmich, L Burgholzer
ACM Transactions on Quantum Computing 3 (3), 1-17, 2022
272022
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
252021
Predicting good quantum circuit compilation options
N Quetschlich, L Burgholzer, R Wille
2023 IEEE International Conference on Quantum Software (QSW), 43-53, 2023
242023
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
242022
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
242021
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
232023
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
232022
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
232020
On Optimal Subarchitectures for Quantum Circuit Mapping
T Peham, L Burgholzer, R Wille
ACM Transactions on Quantum Computing 4 (4), 1-20, 2023
222023
MQT QMAP: Efficient Quantum Circuit Mapping
R Wille, L Burgholzer
Proceedings of the 2023 International Symposium on Physical Design, 198-204, 2023
222023
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
212023
The Power of Simulation for Equivalence Checking in Quantum Computing
L Burgholzer, R Wille
2020 57th ACM/IEEE Design Automation Conference (DAC), 2020
212020
The system can't perform the operation now. Try again later.
Articles 1–20