Russell Impagliazzo, Ramamohan Paturi, Stefan Schneider. A Satisfiability Algorithm for Sparse Depth Two Threshold Circuits. In 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA. pages 479-488, IEEE Computer Society, 2013. [doi]
Abstract is missing.