TY - RPRT TI - A Satisfiability Algorithm for Sparse Depth Two Threshold Circuits AU - Russell Impagliazzo AU - Ramamohan Paturi AU - Stefan Schneider PY - 2013 UR - https://arxiv.org/abs/1212.4548 ID - 1212.4548 ER -