Quantum vs Classical Proofs and Subset Verification.

Bill Fefferman Shelby Kimmel

Published in: CoRR (2015)

Keyphrases

quantum computation
quantum mechanics
model checking
formal proof
formal proofs
real time
face verification
signature verification
formal verification
quantum probability
face recognition
theorem proving
asynchronous circuits
equational theories