Bounded-depth Frege lower bounds for weaker pigeonhole principles

Josh Buresh-Oppenheim, Paul Beame, Toniann Pitassi, Ran Raz, Ashish Sabharwal. Bounded-depth Frege lower bounds for weaker pigeonhole principles. Electronic Colloquium on Computational Complexity (ECCC), (023), 2002. [doi]

Abstract

Abstract is missing.