Hardness Amplification Proofs Require Majority.

Ronen Shaltiel Emanuele Viola

Published in: SIAM J. Comput. (2010)

Keyphrases

computational complexity
theorem proving
data sets
neural network
natural language
np hard
information theoretic
formal proofs