Optimizing tree decompositions in MSO (Q5028484)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7471715
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Optimizing tree decompositions in MSO |
scientific article; zbMATH DE number 7471715 |
Statements
9 February 2022
0 references
treewidth
0 references
tree decomposition
0 references
MSO
0 references
transduction
0 references
0.8058642148971558
0 references
0.783527135848999
0 references
0.7747347354888916
0 references
0.7728906273841858
0 references
