id: 70316623
dt: a
an: 70316623
au: Calabro, Chris; Impagliazzo, Russell; Paturi, Ramamohan
ti: On the exact complexity of evaluating quantified $k$-CNF
so: IPEC, 50-59 (2010).
py: 2010
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-17493-3_7