Some Results on Random Mixed SAT Problems (Q6458096)
From MaRDI portal
scientific article; zbMATH DE number 902359148
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some Results on Random Mixed SAT Problems |
scientific article; zbMATH DE number 902359148 |
Statements
5 November 2023
0 references
math.PR
0 references
cs.CC
0 references
