ReQWIRE: Reasoning about Reversible Quantum Circuits.
Robert RandJennifer PaykinDong-Ho LeeSteve ZdancewicPublished in: QPL (2018)
Keyphrases
- quantum computing
- logic circuits
- logic synthesis
- quantum inspired
- markov chain
- quantum evolutionary algorithm
- cellular automata
- quantum computation
- low power
- mobile computing
- high speed
- quantum mechanics
- qualitative reasoning
- formal theory
- tunnel diode
- delay insensitive
- database
- analog circuits
- information systems
- data sets
- qualitative spatial
- digital circuits
- power consumption
- databases
- real time