TY  - RPRT
TI  - A Satisfiability Algorithm for AC$^0$
AU  - Russell Impagliazzo
AU  - William Matthews
AU  - Ramamohan Paturi
PY  - 2011
UR  - https://arxiv.org/abs/1107.3127
ID  - 1107.3127
ER  -