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

Information and Computation - United States
doi 10.1006/inco.2002.3114