Login / Signup
Optimizing tree decompositions in MSO.
Mikolaj Bojanczyk
Michal Pilipczuk
Published in:
CoRR (2017)
Keyphrases
</>
tree decompositions
constraint satisfaction problems
tree decomposition
constraint satisfaction
constraint programming
complexity bounds
database
data warehouse
programming language
graphical models
regular expressions
hypertree decomposition