Nearly-linear size holographic proofs (1994)

by A Polishchuk, D Spielman
Venue:In ACM Symposium on Theory of Computing