Pages that link to "Item:Q3503621"
From MaRDI portal
The following pages link to Twelve Problems in Proof Complexity (Q3503621):
Displaying 6 items.
- Towards NP-P via proof complexity and search (Q408544) (← links)
- On the compressibility of finite languages and formal proofs (Q1706152) (← links)
- On the cover complexity of finite languages (Q2334605) (← links)
- Propositional Proofs in Frege and Extended Frege Systems (Abstract) (Q3194704) (← links)
- An Introduction to Lower Bounds on Resolution Proof Systems (Q5135261) (← links)
- Compressibility of Finite Languages by Grammars (Q5500684) (← links)
