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

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

Bibliographic Details
Main Authors: Vyas, Nikhil (Author), Williams, R. Ryan (Author)
Format: Article
Language:English
Published: 2021-11-08T19:20:43Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items