Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
2021
|
| Online Access: | https://hdl.handle.net/1721.1/137787 |
| _version_ | 1811087206335381504 |
|---|---|
| author | Vyas, Nikhil Williams, R. Ryan |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Vyas, Nikhil Williams, R. Ryan |
| author_sort | Vyas, Nikhil |
| collection | MIT |
| first_indexed | 2024-09-23T13:41:45Z |
| format | Article |
| id | mit-1721.1/137787 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T13:41:45Z |
| publishDate | 2021 |
| record_format | dspace |
| spelling | mit-1721.1/1377872023-02-10T21:34:08Z Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms Vyas, Nikhil Williams, R. Ryan Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science 2021-11-08T19:20:43Z 2021-11-08T19:20:43Z 2020 2021-03-23T16:53:49Z Article http://purl.org/eprint/type/ConferencePaper https://hdl.handle.net/1721.1/137787 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. en 10.4230/LIPIcs.STACS.2020.59 37TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2020) Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/ application/pdf DROPS |
| spellingShingle | Vyas, Nikhil Williams, R. Ryan Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms |
| title | Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms |
| title_full | Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms |
| title_fullStr | Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms |
| title_full_unstemmed | Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms |
| title_short | Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms |
| title_sort | lower bounds against sparse symmetric functions of acc circuits expanding the reach of sat algorithms |
| url | https://hdl.handle.net/1721.1/137787 |
| work_keys_str_mv | AT vyasnikhil lowerboundsagainstsparsesymmetricfunctionsofacccircuitsexpandingthereachofsatalgorithms AT williamsrryan lowerboundsagainstsparsesymmetricfunctionsofacccircuitsexpandingthereachofsatalgorithms |