Nondeterministic Interactive Refutations for Nearest Boolean Vector.

Andrej Bogdanov, Alon Rosen

Browse the full ICALP paper archive.