Pushdown reachability with constant treewidth.

Krishnendu Chatterjee Georg Osang

Published in: Inf. Process. Lett. (2017)

Keyphrases

search space
state space
upper bound
boolean functions
space complexity
bounded treewidth
transitive closure
model checking
databases
machine learning
information retrieval
decision trees
image segmentation
database systems
data model