Symbolic Reasoning About Quantum Circuits in Coq.
Wenjun ShiQinxiang CaoYuxin DengHanru JiangYuan FengPublished in: J. Comput. Sci. Technol. (2021)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- quantum evolutionary algorithm
- theorem prover
- symbolic representation
- tunnel diode
- low power
- quantum mechanics
- high speed
- quantum computation
- machine learning
- formal methods
- qualitative reasoning
- neural learning
- vlsi circuits
- delay insensitive
- formal theory
- connectionist models
- real time
- spatial reasoning
- data sets
- electronic circuits
- causal reasoning
- mobile computing
- infrared
- knowledge based systems
- symbolic reasoning
- symbolic description
- website
- genetic algorithm