Convergence of Warning Propagation Algorithms for Random Satisfiable Instances (Q5398585)
From MaRDI portal
scientific article; zbMATH DE number 6262575
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Convergence of Warning Propagation Algorithms for Random Satisfiable Instances |
scientific article; zbMATH DE number 6262575 |
Statements
Convergence of Warning Propagation Algorithms for Random Satisfiable Instances (English)
0 references
28 February 2014
0 references
warning propagation algorithm
0 references
convergence analysis
0 references
phase transition
0 references
satisfiability problem
0 references
