A verified optimizer for Quantum circuits.
Kesha HietalaRobert RandShih-Han HungXiaodi WuMichael HicksPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- tunnel diode
- optimization algorithm
- mobile computing
- quantum evolutionary algorithm
- quantum mechanics
- low power
- query optimization
- high speed
- machine learning
- circuit design
- electronic circuits
- delay insensitive
- relational databases
- analog vlsi
- vlsi circuits
- quantum computation
- artificial intelligence