Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2021-11-08T19:20:43Z.
|
| Subjects: | |
| Online Access: | Get fulltext |
| LEADER | 00557 am a22001573u 4500 | ||
|---|---|---|---|
| 001 | 137787 | ||
| 042 | |a dc | ||
| 100 | 1 | 0 | |a Vyas, Nikhil |e author |
| 700 | 1 | 0 | |a Williams, R. Ryan |e author |
| 245 | 0 | 0 | |a Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms |
| 260 | |c 2021-11-08T19:20:43Z. | ||
| 856 | |z Get fulltext |u https://hdl.handle.net/1721.1/137787 | ||
| 546 | |a en | ||
| 655 | 7 | |a Article | |
| 773 | |t 10.4230/LIPIcs.STACS.2020.59 | ||
| 773 | |t 37TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2020) | ||