The number of satisfying assignments of random 2‐SAT formulas (Q6074640)
From MaRDI portal
scientific article; zbMATH DE number 7749469
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The number of satisfying assignments of random 2‐SAT formulas |
scientific article; zbMATH DE number 7749469 |
Statements
The number of satisfying assignments of random 2‐SAT formulas (English)
0 references
12 October 2023
0 references
2-SAT
0 references
belief propagation
0 references
satisfiability problem
0 references
