Kolmogorov complexity based upper bounds for the unsatisfiability threshold of random \(k\)-SAT (Q5034546)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7476985
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8978717923164368
0 references
0.8916046023368835
0 references
0.8852962851524353
0 references
0.8852962851524353
0 references
0.8840904831886292
0 references
