3 × USA
R.Impagliazzo D.Barber P.Beame
resolut (2) space (2) superpolynomi (1) superlinear (1) tradeoff (1) learnabl (1) regular (1) tacton (1) strong (1) effect (1)
Person: Christopher Beck
Wrote 3 papers:
- Effects of Tacton Names and Learnability (DB, CB), pp. 335–344.
- Strong ETH holds for regular resolution (CB, RI), pp. 487–494.
- STOC-2012-BeameBI #bound #trade-off
- Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space (PB, CB, RI), pp. 213–232.