Pages that link to "Item:Q920967"
From MaRDI portal
The following pages link to Resolution proofs of generalized pigeonhole principles (Q920967):
Displaying 26 items.
- Regular resolution lower bounds for the weak pigeonhole principle (Q558246) (← links)
- Group cancellation and resolution (Q817703) (← links)
- A feasibly constructive lower bound for resolution proofs (Q915457) (← links)
- Short proofs of the pigeonhole formulas based on the connection method (Q915494) (← links)
- The intractability of resolution (Q1071750) (← links)
- Unrestricted resolution versus N-resolution (Q1185013) (← links)
- The complexity of the pigeonhole principle (Q1343166) (← links)
- Davis-Putnam resolution versus unrestricted resolution (Q1353991) (← links)
- Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms (Q1401230) (← links)
- Resolution lower bounds for the weak functional pigeonhole principle. (Q1401365) (← links)
- Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II (Q1575637) (← links)
- A syntactical proof of the Marriage Lemma. (Q1853584) (← links)
- Lower bounds for the weak pigeonhole principle and random formulas beyond resolution (Q1854546) (← links)
- Cutting planes, connectivity, and threshold logic (Q1908818) (← links)
- The symmetry rule in propositional logic (Q1961453) (← links)
- Width versus size in resolution proofs (Q2382288) (← links)
- Monotone proofs of the pigeon hole principle (Q2765569) (← links)
- Satisfiability via Smooth Pictures (Q2817998) (← links)
- Some properties of pigeon-hole formulas (Q2917147) (← links)
- Lower bounds to the size of constant-depth propositional proofs (Q4292593) (← links)
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic (Q4358049) (← links)
- An induction principle and pigeonhole principles for K-finite sets (Q4876318) (← links)
- (Q5092479) (← links)
- An Introduction to Lower Bounds on Resolution Proof Systems (Q5135261) (← links)
- A new proof of the weak pigeonhole principle (Q5894824) (← links)
- A resolution-based interactive proof system for UNSAT (Q6629521) (← links)
