Parameterized Bounded-Depth Frege Is not Optimal

Olaf Beyersdorff, Nicola Galesi, Massimo Lauria, Alexander A. Razborov. Parameterized Bounded-Depth Frege Is not Optimal. TOCT, 4(3):7, 2012. [doi]

Abstract

Abstract is missing.