Parameterized Bounded-Depth Frege is Not Optimal

Olaf Beyersdorff, Nicola Galesi, Massimo Lauria, Alexander A. Razborov. Parameterized Bounded-Depth Frege is Not Optimal. Electronic Colloquium on Computational Complexity (ECCC), 17:198, 2010. [doi]

Abstract

Abstract is missing.