Quantum vs. Classical Proofs and Subset Verification.

Bill Fefferman Shelby Kimmel

Published in: MFCS (2018)

Keyphrases

quantum computation
formal proof
model checking
quantum mechanics
theorem prover
theorem proving
formal verification
database
databases
computer vision
similarity measure
evolutionary algorithm