Approximating ac0 by small height decision trees and a deterministic algorithm for #ac0 sat (2012)

by P Beame, R Impagliazzo, S Srinivasan
Venue:In Proceedings of the 2012 IEEE Conference on Computational Complexity, CCC ’12