@misc{indiciaedfbff052e37c,
  title = {A Satisfiability Algorithm for Sparse Depth Two Threshold Circuits},
  author = {Russell Impagliazzo and Ramamohan Paturi and Stefan Schneider},
  year = {2013},
  url = {https://arxiv.org/abs/1212.4548},
  note = {Source identifier: 1212.4548}
}