Average-case lower bounds and satisfiability algorithms for small threshold circuits (Q5368735)
From MaRDI portal
scientific article; zbMATH DE number 6789266
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Average-case lower bounds and satisfiability algorithms for small threshold circuits |
scientific article; zbMATH DE number 6789266 |
Statements
10 October 2017
0 references
threshold circuit
0 references
satisfiability algorithm
0 references
circuit lower bound
0 references
Average-case lower bounds and satisfiability algorithms for small threshold circuits (English)
0 references
