Nearly Linear Size Holographic Proofs (1994)

by A POLISHCHUK, D SPIELMAN
Venue:Proceedings of the 26th Annual Symposium on Theory of Computing, ACM