A satisfiability algorithm for sparse depth two threshold circuits. (2013)

by Russell Impagliazzo, Ramamohan Paturi, Stefan Schneider
Venue:In Proceedings of the 54rd Annual IEEE Symposium on Foundations of Computer Science,