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