Journal: Electronic Colloquium on Computational Complexity (ECCC)

Volume 5, Issue 42

0 -- 0Pavel Pudlák. A Note On the Use of Determinant for Proving Lower Bounds on the Size of Linear Circuits