Search Trees with Relaxed Balance and Near-Optimal Height.

Rolf Fagerberg Rune E. Jensen Kim S. Larsen

Published in: WADS (2001)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
optimal solution
branching factor
binary search trees
sat solvers
tree search
symmetry breaking
lower bound
b tree
root node
genetic algorithm
high dimensional
heuristic function