Karp-Miller Trees for a Branching Extension of VASS.

Kumar Neeraj Verma Jean Goubault-Larrecq

Published in: Discret. Math. Theor. Comput. Sci. (2005)

Keyphrases

decision trees
branch and bound
database
computer vision
relational databases
tree automata
tree models
real time
databases
machine learning
decision making
np hard
tree structure
knapsack problem