Optimizing tree decompositions in MSO.

Mikolaj Bojanczyk Michal Pilipczuk

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

tree decompositions
constraint satisfaction problems
tree decomposition
regular expressions
complexity bounds
bayesian networks
constraint programming
database
search algorithm
parallel processing