Pages that link to "Item:Q701740"
From MaRDI portal
The following pages link to Combinatorics of first order structures and propositional proof systems (Q701740):
Displayed 6 items.
- Relativization makes contradictions harder for resolution (Q386151) (← links)
- A note on propositional proof complexity of some Ramsey-type statements (Q627444) (← links)
- Tight size-degree bounds for sums-of-squares proofs (Q1686838) (← links)
- The treewidth of proofs (Q2013559) (← links)
- Partially definable forcing and bounded arithmetic (Q2257103) (← links)
- LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE (Q5501765) (← links)