Pages that link to "Item:Q3775553"

The following pages link to Polynomial size proofs of the propositional pigeonhole principle (Q3775553):

Displaying 2 items.

• Lower bounds for the weak pigeonhole principle and random formulas beyond resolution (Q1854546) (← links)
• Parameterized Bounded-Depth Frege Is Not Optimal (Q3012838) (← links)