Optimizing Tree Decompositions in MSO.

Mikolaj Bojanczyk Michal Pilipczuk

Published in: STACS (2017)

Keyphrases

tree decompositions
constraint satisfaction problems
tree decomposition
regular expressions
constraint programming
arc consistency
complexity bounds
database systems
expert systems
data model