The Query Complexity of Program Checking by Constant-Depth Circuits.

Vikraman Arvind, K. V. Subrahmanyam, N. V. Vinodchandran

Browse the full ISAAC paper archive.