Symbolic Reasoning about Quantum Circuits in Coq.
Wenjun ShiQinxiang CaoYuxin DengHanru JiangYuan FengPublished in: CoRR (2020)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- quantum evolutionary algorithm
- high level
- quantum mechanics
- theorem prover
- symbolic representation
- qualitative reasoning
- analog circuits
- spatial reasoning
- formal methods
- quantum computation
- power reduction
- tunnel diode
- artificial intelligence
- neural learning
- digital circuits
- mobile computing
- low power
- power consumption
- formal theory
- symbolic description
- high level synthesis
- connectionist systems
- practical reasoning
- connectionist models
- data sets
- causal reasoning
- circuit design
- high speed
- genetic algorithm
- data mining