Circuit lower bounds for Merlin-Arthur classes (2007)

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