Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms.

Nikhil Vyas, R. Ryan Williams

Browse the full STACS paper archive.