Small Depth Proof Systems

Andreas Krebs, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah. Small Depth Proof Systems. TOCT, 9(1), 2016. [doi]

Abstract

Abstract is missing.