Arnold Beckmann, Samuel R. Buss. Separation results for the size of constant-depth propositional proofs. Annals of Pure and Applied Logic, 136(1-2):30-55, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.