Pages that link to "Item:Q1401365"
From MaRDI portal
The following pages link to Resolution lower bounds for the weak functional pigeonhole principle. (Q1401365):
Displaying 16 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- Regular resolution lower bounds for the weak pigeonhole principle (Q558246) (← links)
- Resolution proofs of generalized pigeonhole principles (Q920967) (← links)
- A lower bound for the pigeonhole principle in tree-like resolution by asymmetric prover-delayer games (Q1675824) (← links)
- Lower bounds for the weak pigeonhole principle and random formulas beyond resolution (Q1854546) (← links)
- Resolution lower bounds for perfect matching principles (Q1881260) (← links)
- The treewidth of proofs (Q2013559) (← links)
- Bounded-depth Frege complexity of Tseitin formulas for all graphs (Q2084956) (← links)
- Width versus size in resolution proofs (Q2382288) (← links)
- A combinatorial characterization of resolution width (Q2475405) (← links)
- Some properties of pigeon-hole formulas (Q2917147) (← links)
- Resolution and the binary encoding of combinatorial principles (Q5091756) (← links)
- Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs (Q5092411) (← links)
- (Q5092479) (← links)
- LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE (Q5501765) (← links)
- Proof complexity and the binary encoding of combinatorial principles (Q6562831) (← links)