Exact location of the phase transition for random (1,2)-QSAT (Q5245725)
From MaRDI portal
scientific article; zbMATH DE number 6425196
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exact location of the phase transition for random (1,2)-QSAT |
scientific article; zbMATH DE number 6425196 |
Statements
Exact location of the phase transition for random (1,2)-QSAT (English)
0 references
15 April 2015
0 references
random quantified formulas
0 references
satisfiability
0 references
phase transition
0 references
sharp threshold
0 references
