Treewidth with a quantifier alternation revisited (Q5111886)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Treewidth with a quantifier alternation revisited |
scientific article; zbMATH DE number 7205210
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Treewidth with a quantifier alternation revisited |
scientific article; zbMATH DE number 7205210 |
Statements
27 May 2020
0 references
treewidth
0 references
exponential time hypothesis
0 references
quantified SAT
0 references
0 references
0.7812500596046448
0 references
0.7716876864433289
0 references
0.75813227891922
0 references
0.7580357193946838
0 references
0.7561740279197693
0 references
