A satisfiability algorithm for AC0 (2012)

by R Impagliazzo, W Matthews, R Paturi
Venue:In Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms