Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space. | 1 | 0.37 | 2016 |
| Strong ETH holds for regular resolution | 6 | 0.48 | 2013 |
| Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space | 20 | 0.67 | 2011 |