Circuit lower bounds for Merlin-Arthur classes (2007)

by R Santhanam
Venue:In Proc. ACM STOC