Sledovať
Lukas Burgholzer
Názov
Citované v
Citované v
Rok
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
2412019
MQT Bench: Benchmarking software and design automation tools for quantum computing
N Quetschlich, L Burgholzer, R Wille
Quantum 7, 1062, 2023
1322023
Advanced equivalence checking for quantum circuits
L Burgholzer, R Wille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
1082020
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
592020
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
452022
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
402021
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
392020
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
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
322023
Tools for Quantum Computing Based on Decision Diagrams
R Wille, S Hillmich, L Burgholzer
ACM Transactions on Quantum Computing 3 (3), 1-17, 2022
322022
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
282021
Predicting good quantum circuit compilation options
N Quetschlich, L Burgholzer, R Wille
2023 IEEE International Conference on Quantum Software (QSW), 43-53, 2023
272023
MQT QMAP: Efficient Quantum Circuit Mapping
R Wille, L Burgholzer
Proceedings of the 2023 International Symposium on Physical Design, 198-204, 2023
272023
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
272021
On Optimal Subarchitectures for Quantum Circuit Mapping
T Peham, L Burgholzer, R Wille
ACM Transactions on Quantum Computing 4 (4), 1-20, 2023
262023
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
252022
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
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
The MQT Handbook: A summary of design automation tools and software for quantum computing
R Wille, L Berent, T Forster, J Kunasaikaran, K Mato, T Peham, ...
2024 IEEE International Conference on Quantum Software (QSW), 1-8, 2024
222024
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
222020
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20