Pages that link to "Item:Q5501187"
From MaRDI portal
The following pages link to Resolution lower bounds for the weak pigeonhole principle (Q5501187):
Displayed 8 items.
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- Feasibly constructive proofs of succinct weak circuit lower bounds (Q2007873) (← links)
- Width versus size in resolution proofs (Q2382288) (← links)
- A combinatorial characterization of resolution width (Q2475405) (← links)
- Satisfiability via Smooth Pictures (Q2817998) (← links)
- An Introduction to Lower Bounds on Resolution Proof Systems (Q5135261) (← links)
- The Complexity of Propositional Proofs (Q5444711) (← links)
- LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE (Q5501765) (← links)