Chris Calabro, Russell Impagliazzo, Ramamohan Paturi. The Complexity of Satisfiability of Small Depth Circuits. In Jianer Chen, Fedor V. Fomin, editors, Parameterized and Exact Computation, 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers. Volume 5917 of Lecture Notes in Computer Science, pages 75-85, Springer, 2009. [doi]
Abstract is missing.