A Complete Equational Theory for Quantum Circuits.
Alexandre ClémentNicolas HeurtelShane MansfieldSimon PerdrixBenoît ValironPublished in: LICS (2023)
Keyphrases
- quantum computing
- quantum mechanics
- quantum evolutionary algorithm
- quantum inspired
- logic synthesis
- high speed
- logic circuits
- equational theories
- artificial intelligence
- computational model
- theoretical framework
- database
- general theory
- theorem proving
- electronic circuits
- mobile computing
- theoretical foundation
- database systems
- information systems
- real world
- neural network