1581 search results - page 317 / 317 » Analysis of Computational Time of Simple Estimation of Distr... |
STOC
2012
ACM
11 years 7 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...