Lower bounds against sparse symmetric functions of ACC circuits: expanding the reach of \#SAT algorithms (Q2701071)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lower bounds against sparse symmetric functions of ACC circuits: expanding the reach of \#SAT algorithms |
scientific article |
Statements
Lower bounds against sparse symmetric functions of ACC circuits: expanding the reach of \#SAT algorithms (English)
0 references
27 April 2023
0 references
\#SAT
0 references
satisfiability
0 references
circuit complexity
0 references
exact majority
0 references
ACC
0 references
0 references
0 references
0 references
