A Verified Optimizer for Quantum Circuits.
Kesha HietalaRobert RandLiyi LiShih-Han HungXiaodi WuMichael HicksPublished in: ACM Trans. Program. Lang. Syst. (2023)
Keyphrases
- quantum computing
- logic circuits
- quantum inspired
- logic synthesis
- quantum evolutionary algorithm
- quantum mechanics
- optimization algorithm
- analog circuits
- low power
- query optimization
- high speed
- tunnel diode
- quantum computation
- analog vlsi
- artificial intelligence
- query optimizer
- vlsi circuits
- cmos technology
- power dissipation
- circuit design
- multi valued
- mobile computing
- case study
- information systems