Better short-seed quantum-proof extractors.

Avraham Ben-Aroya Amnon Ta-Shma

Published in: Theor. Comput. Sci. (2012)

Keyphrases

theorem prover
database
quantum computing
proof planning
data sets
neural network
machine learning
search engine
proof search
complete axiomatization