Folgen
Lukas Burgholzer
Titel
Zitiert von
Zitiert von
Jahr
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
1772019
Advanced equivalence checking for quantum circuits
L Burgholzer, R Wille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
702020
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
342023
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
322021
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
322020
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
282020
Tools for Quantum Computing Based on Decision Diagrams
R Wille, S Hillmich, L Burgholzer
ACM Transactions on Quantum Computing 3 (3), 1-17, 2022
192022
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
192022
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
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
192020
The Power of Simulation for Equivalence Checking in Quantum Computing
L Burgholzer, R Wille
2020 57th ACM/IEEE Design Automation Conference (DAC), 2020
182020
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
162021
Predicting good quantum circuit compilation options
N Quetschlich, L Burgholzer, R Wille
2023 IEEE International Conference on Quantum Software (QSW), 43-53, 2023
152023
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
142022
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
142022
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
122023
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
112023
MQT QMAP: Efficient Quantum Circuit Mapping
R Wille, L Burgholzer
Proceedings of the 2023 International Symposium on Physical Design, 198-204, 2023
112023
Handling Non-Unitaries in Quantum Circuit Equivalence Checking
L Burgholzer, R Wille
11*2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20