Average-case lower bounds and satisfiability algorithms for small threshold circuits (Q5368735)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Average-case lower bounds and satisfiability algorithms for small threshold circuits |
scientific article; zbMATH DE number 6789266
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9981009364128112
0 references
0.8190128803253174
0 references
0.81294184923172
0 references
0.81294184923172
0 references
0.8078908920288086
0 references
