Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits

Ruiwen Chen, Rahul Santhanam, Srikanth Srinivasan 0001. Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits. Theory of Computing, 14(1):1-55, 2018. [doi]

Abstract

Abstract is missing.