No label defined (Q5091218)
From MaRDI portal
scientific article; zbMATH DE number 7561554
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7561554 |
Statements
21 July 2022
0 references
random SAT
0 references
satisfiability threshold
0 references
sharpness
0 references
non-uniform distribution
0 references
2-SAT
0 references
