Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution

Albert Atserias, Maria Luisa Bonet, Juan Luis Esteban. Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution. Inf. Comput., 176(2):136-152, 2002. [doi]

Abstract

Abstract is missing.