Pages that link to "Item:Q1923563"
From MaRDI portal
The following pages link to An exponential separation between the parity principle and the pigeonhole principle (Q1923563):
Displayed 9 items.
- Satisfiability, branch-width and Tseitin tautologies (Q430830) (← links)
- Propositional proofs and reductions between NP search problems (Q435190) (← links)
- Two party immediate response disputes: Properties and efficiency (Q814510) (← links)
- Optimal length resolution refutations of difference constraint systems (Q846163) (← links)
- An exponential separation between the parity principle and the pigeonhole principle (Q1923563) (← links)
- On the automatizability of polynomial calculus (Q1959382) (← links)
- Width versus size in resolution proofs (Q2382288) (← links)
- Polynomial-size Frege and resolution proofs of \(st\)-connectivity and Hex tautologies (Q2500481) (← links)
- Separation results for the size of constant-depth propositional proofs (Q2566064) (← links)