On Characterizing Nondeterministic Circuit Size

Publication: 
Proceedings of the 25th Symposium on the Theory of Computing (STOC), pp. 532-545, 1993.
Year: 
1993
Files