Login / Signup
Tree Tribes and Lower Bounds for Switching Lemmas.
Jenish C. Mehta
Published in:
MFCS (2018)
Keyphrases
</>
lower bound
upper bound
tree structure
objective function
branch and bound
branch and bound algorithm
optimal cost
lower bounding
tree construction
tree search
upper and lower bounds
lower and upper bounds
theorem proving
index structure
worst case
np hard
b tree