Exponential Lower Bounds for the PPSZ <i>k</i>-SAT Algorithm (Q5741800)
From MaRDI portal
scientific article; zbMATH DE number 7055326
Language | Label | Description | Also known as |
---|---|---|---|
English | Exponential Lower Bounds for the PPSZ <i>k</i>-SAT Algorithm |
scientific article; zbMATH DE number 7055326 |
Statements
Exponential Lower Bounds for the PPSZ <i>k</i>-SAT Algorithm (English)
0 references
15 May 2019
0 references