Classical verification of quantum circuits containing few basis changes.
Tommaso F. DemarieYingkai OuyangJoseph F. FitzsimonsPublished in: CoRR (2016)
Keyphrases
- quantum computing
- quantum computation
- logic circuits
- quantum mechanics
- logic synthesis
- model checking
- databases
- starting point
- asynchronous circuits
- social networks
- quantum evolutionary algorithm
- data sets
- analog vlsi
- quantum inspired
- signature verification
- low power
- cryptographic protocols
- delay insensitive
- expert systems
- learning algorithm
- genetic algorithm
- data mining