Pages that link to "Item:Q5415477"
From MaRDI portal
The following pages link to Time-space tradeoffs in resolution (Q5415477):
Displaying 11 items.
- The treewidth of proofs (Q2013559) (← links)
- Characterizing Tseitin-formulas with short regular resolution refutations (Q2118291) (← links)
- Strong ETH and resolution via games and the multiplicity of strategies (Q2408195) (← links)
- Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers (Q2818010) (← links)
- Computing (and Life) Is All about Tradeoffs (Q2848971) (← links)
- Space Complexity in Polynomial Calculus (Q2944568) (← links)
- Communication Lower Bounds via Critical Block Sensitivity (Q4554052) (← links)
- An Introduction to Lower Bounds on Resolution Proof Systems (Q5135261) (← links)
- From Small Space to Small Width in Resolution (Q5277893) (← links)
- Narrow Proofs May Be Maximally Long (Q5277920) (← links)
- Characterizing Tseitin-Formulas with Short Regular Resolution Refutations (Q5881799) (← links)