A new PCP outer verifier with applications to homogeneous linear equations and max-bisection

From MaRDI portal
Publication:3580955