A Verified Optimizer for Quantum Circuits.
Kesha HietalaRobert RandShih-Han HungXiaodi WuMichael HicksPublished in: CoRR (2019)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- tunnel diode
- low power
- quantum mechanics
- quantum evolutionary algorithm
- query optimization
- database
- quantum computation
- mobile computing
- analog circuits
- high speed
- circuit design
- optimization algorithm
- database management systems
- multiscale
- analog vlsi
- high level synthesis
- image sequences
- information systems