Verification of Recursively Defined Quantum Circuits.
Mingsheng YingZhicheng ZhangPublished in: CoRR (2024)
Keyphrases
- expert systems
- quantum computing
- logic circuits
- logic synthesis
- high speed
- quantum inspired
- asynchronous circuits
- low power
- data sets
- quantum evolutionary algorithm
- database
- quantum mechanics
- circuit design
- face verification
- model checking
- low cost
- evolutionary algorithm
- case study
- website
- e learning
- learning algorithm
- genetic algorithm
- machine learning
- real world
- neural network