Natural proofs versus derandomization.

Published in: STOC (2013)

Keyphrases

real world
data sets
human computer interaction
equational theories
database
information retrieval
face recognition
data structure
mobile robot
probabilistic model
formal proofs