A Beygelzimer,
M Ogihara - Theoretical computer science, 2005 - Elsevier
We show that one cannot rule out even a single possibility for the value of an arithmetic
circuit on a given input using an NC algorithm, unless P collapses to NC (ie, unless all …