Circuit lower bounds for Merlin-Arthur classes (2007)

by R Santhanam
Venue:In Proceedings of the 39th ACM Symposium on Theory of Computing