Pages that link to "Item:Q3579186"
From MaRDI portal
The following pages link to Size space tradeoffs for resolution (Q3579186):
Displaying 6 items.
- The depth of resolution proofs (Q647405) (← links)
- A combinatorial characterization of treelike resolution space (Q1014444) (← links)
- On the complexity of resolution with bounded conjunctions (Q1885907) (← links)
- Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs (Q1983330) (← links)
- Space proof complexity for random 3-CNFs (Q2013560) (← links)
- Regular and General Resolution: An Improved Separation (Q3502715) (← links)