197 citations · 850 across the 38 of their papers we have counts for
Showing 2020 · quant-phShow all
3 papers · 2 filters
quant-ph2020
Random Stimuli Generation for the Verification of Quantum Circuits
Lukas Burgholzer, Richard Kueng, Robert Wille
Verification of quantum circuits is essential for guaranteeing correctness of quantum algorithms and/or quantum descriptions across various levels of abstraction. In this work, we…
quant-ph2020★ 62 cited
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
Lukas Burgholzer, Rudy Raymond, Robert Wille
Realizing a conceptual quantum algorithm on an actual physical device necessitates the algorithm's quantum circuit description to undergo certain transformations in order to adhere…
quant-ph2020
Advanced Equivalence Checking for Quantum Circuits
Lukas Burgholzer, Robert Wille
Quantum computing will change the way we tackle certain problems. It promises to dramatically speed-up many chemical, financial, and machine-learning applications. However, to capi…