Jump Interpolation Search Trees and Symmetric Binary Numbers.

Ulrich Güntzer Manfred Paul

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

Keyphrases

search tree
search algorithm
branch and bound algorithm
search space
branching factor
b tree
markov chain
sat solvers
tree search
binary search trees
root node
lower bound
np complete
search strategies
game tree
symmetry breaking