@article{v014a009, author = {Chen, Ruiwen and Santhanam, Rahul and Srinivasan, Srikanth}, title = {Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits}, year = {2018}, pages = {1--55}, doi = {10.4086/toc.2018.v014a009}, publisher = {Theory of Computing}, journal = {Theory of Computing}, volume = {14}, number = {9}, URL = {https://theoryofcomputing.org/articles/v014a009}, }