Super strong ETH is true for PPSZ with small resolution width (Q5092450)
From MaRDI portal
scientific article; zbMATH DE number 7561731
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Super strong ETH is true for PPSZ with small resolution width |
scientific article; zbMATH DE number 7561731 |
Statements
21 July 2022
0 references
\(k\)-SAT
0 references
PPSZ
0 references
resolution
0 references
Super strong ETH is true for PPSZ with small resolution width (English)
0 references
