Travelled to:3 × USA
Collaborated with:R.Impagliazzo D.Barber P.Beame
Talks about:resolut (2) space (2) superpolynomi (1) superlinear (1) tradeoff (1) learnabl (1) regular (1) tacton (1) strong (1) effect (1)
Person: Christopher Beck
DBLP: Beck:Christopher
Contributed to:
2015
20132012Wrote 3 papers:
- HIMI-IKD-2015-BarberB
- Effects of Tacton Names and Learnability (DB, CB), pp. 335–344.
- STOC-2013-BeckI
- 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.