Faster <i>k</i> -SAT algorithms using biased-PPSZ (Q5212800)
From MaRDI portal
scientific article; zbMATH DE number 7160536
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Faster <i>k</i> -SAT algorithms using biased-PPSZ |
scientific article; zbMATH DE number 7160536 |
Statements
Faster <i>k</i> -SAT algorithms using biased-PPSZ (English)
0 references
30 January 2020
0 references
randomized algorithm
0 references
satisfiability
0 references
