A Satisfiability Algorithm for Sparse Depth Two Threshold Circuits.
Russell Impagliazzo, Ramamohan Paturi, Stefan Schneider
Browse the full FOCS paper archive.
Russell Impagliazzo, Ramamohan Paturi, Stefan Schneider
Browse the full FOCS paper archive.