Unentangled Quantum Proofs and their Applications.

Ashley Montanaro

Published in: ERCIM News (2011)

Keyphrases

quantum computation
quantum computing
theorem proving
formal proof
decision procedures
equational theories
quantum mechanics
quantum inspired
channel capacity
formal proofs
logic circuits
data sets
theorem prover
genetic algorithm
natural deduction
neural network
databases