Paul Beame, Russell Impagliazzo, Srikanth Srinivasan. Approximating AC^0 by Small Height Decision Trees and a Deterministic Algorithm for #AC^0SAT. In Proceedings of the 27th Conference on Computational Complexity, CCC 2012, Porto, Portugal, June 26-29, 2012. pages 117-125, IEEE, 2012. [doi]
Abstract is missing.