@misc{indiciaebb388c6dc4ab, title = {Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits}, author = {Ruiwen Chen and Rahul Santhanam and Srikanth Srinivasan}, year = {2018}, doi = {10.4086/toc.2018.v014a009}, url = {https://arxiv.org/abs/1806.06290}, note = {Source identifier: 1806.06290} }