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

Show other versions (1)

Abstract We continue the program of proving circuit lower bounds via circuit satisfiability algorithms. So far, this program has yielded several concrete results, proving that functions in...

Full description

Bibliographic Details
Main Authors: Vyas, Nikhil, Williams, R. R.
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: Springer US 2022
Online Access:https://hdl.handle.net/1721.1/146172

Internet

https://hdl.handle.net/1721.1/146172

Similar Items