Tree tribes and lower bounds for switching lemmas.

Jenish C. Mehta

Published in: CoRR (2017)

Keyphrases

lower bound
upper bound
objective function
np hard
tree structure
branch and bound
r tree
binary tree
upper and lower bounds
theorem proving
branch and bound algorithm
tree structures
quadratic assignment problem
index structure
tree search
worst case
tree nodes