Analysing Survey Propagation Guided Decimation on Random Formulas (Q4598204)
From MaRDI portal
scientific article; zbMATH DE number 6820254
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analysing Survey Propagation Guided Decimation on Random Formulas |
scientific article; zbMATH DE number 6820254 |
Statements
19 December 2017
0 references
survey-propagation-guided decimation
0 references
message-passing algorithm
0 references
graph theory
0 references
random \(k\)-SAT
0 references
cs.DS
0 references
math.CO
0 references
