A Satisfiability Algorithm for Sparse Depth Two Threshold Circuits - Impagliazzo, Russell; Paturi, Ramamohan; Schneider, Stefan (Annual Symposium on Foundations of Computer Science, 2013)
Keywords: Complexity theory; Integrated circuit modeling; Logic gates; Polynomials; Satisfiability Algorithms; Testing; Threshold Circuits; Vectors; Wires