Nikhil Vyas 0001, R. Ryan Williams. Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms. Theory Comput. Syst., 67(1):149-177, February 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.