On an online random k‐SAT model (Q5436980)
From MaRDI portal
scientific article; zbMATH DE number 5227972
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On an online random k‐SAT model |
scientific article; zbMATH DE number 5227972 |
Statements
On an online random k‐SAT model (English)
0 references
18 January 2008
0 references
online
0 references
SAT
0 references
algorithm
0 references
Boolean
0 references
probability
0 references
