Login / Signup
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity.
Dusan Knop
Martin Koutecký
Tomás Masarík
Tomás Toufar
Published in:
WG (2017)
Keyphrases
</>
upper bound
bounded treewidth
search space
finite state
boolean functions
space complexity
tree decompositions
monadic datalog
discrete random variables
data sets
databases
parameter space
query answering
regular expressions