Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.
Tom PehamLukas BurgholzerRobert WillePublished in: ASP-DAC (2023)
Keyphrases
- quantum computing
- quantum computation
- theoretical analysis
- logic circuits
- computationally efficient
- orders of magnitude
- learning algorithm
- computational complexity
- computational cost
- recently developed
- image sequences
- worst case
- low cost
- data structure
- information retrieval
- benchmark datasets
- computational efficiency
- times faster
- numerical algorithms
- image segmentation