Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms
Name
LIPIcs-STACS-2020-59.pdf
Description
Published version
Size
591.78 KB
Format
Adobe PDF
Checksum (MD5)
cf3008508a5ee7fd9c7bf81d911e2ba1
Author(s)
Vyas, Nikhil
Williams, R. Ryan
Date Issued
2020
Journal
37TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2020)
Citation
Vyas, Nikhil and Williams, R. Ryan. 2020. "Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms." 37TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2020), 154.
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution 4.0 International license
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.4230/LIPIcs.STACS.2020.59
