SAT backdoors: depth beats size (Q6152185)
From MaRDI portal
scientific article; zbMATH DE number 7815426
Language | Label | Description | Also known as |
---|---|---|---|
English | SAT backdoors: depth beats size |
scientific article; zbMATH DE number 7815426 |
Statements
SAT backdoors: depth beats size (English)
0 references
11 March 2024
0 references
SAT
0 references
satisfiability
0 references
backdoor
0 references
elimination distance
0 references
parameterized algorithms
0 references