Login / Signup
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity.
Dusan Knop
Martin Koutecký
Tomás Masarík
Tomás Toufar
Published in:
Log. Methods Comput. Sci. (2019)
Keyphrases
</>
bounded treewidth
upper bound
search space
space complexity
boolean functions
np complete
monadic datalog
neural network
relational databases
regular expressions
neighborhood structure
neighborhood information
search result diversification