Kolmogorov complexity based upper bounds for the unsatisfiability threshold of random k-SAT (Q5034546)
From MaRDI portal
scientific article; zbMATH DE number 7476985
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kolmogorov complexity based upper bounds for the unsatisfiability threshold of random k-SAT |
scientific article; zbMATH DE number 7476985 |
Statements
Kolmogorov complexity based upper bounds for the unsatisfiability threshold of random k-SAT (English)
0 references
18 February 2022
0 references
Kolmogorov complexity
0 references
random formulae
0 references
unsatisfiability threshold of random formulae
0 references
0 references
