Balancing m-ary search trees with compressions on the fringe.

Shuyang Gao Leen Hatem Hosam M. Mahmoud

Published in: Acta Informatica (2024)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
branching factor
b tree
binary search trees
sat solvers
tree search
root node
search strategy
symmetry breaking
lower bound
sat solving
objective function
r tree
combinatorial optimization
special case
data structure