Natural Proofs versus Derandomization.

R. Ryan Williams

Published in: SIAM J. Comput. (2016)

Keyphrases

real world
real time
multiresolution
man made
formal proofs
decision making
computational complexity
expert systems
user interface
special case