Classical Verification of Quantum Computations with Efficient Verifier.

Nai-Hui Chia Kai-Min Chung Takashi Yamakawa

Published in: CoRR (2019)

Keyphrases

quantum computation
genetic algorithm
highly efficient
artificial intelligence
search engine
multi agent
computationally efficient
cost effective
computationally expensive
formal methods
quantum mechanics