Linear Upper Bounds for Random Walk on Small Density Random 3‐CNFs (Q5422485)
From MaRDI portal
scientific article; zbMATH DE number 5202321
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear Upper Bounds for Random Walk on Small Density Random 3‐CNFs |
scientific article; zbMATH DE number 5202321 |
Statements
Linear Upper Bounds for Random Walk on Small Density Random 3‐CNFs (English)
0 references
22 October 2007
0 references
SAT solving
0 references
random CNF
0 references
SAT heuristics
0 references
random walk algorithm
0 references
