Succinct delegation for low-space non-deterministic computation.

Saikrishna Badrinarayanan, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai, Daniel Wichs

Browse the full STOC paper archive.