Visual search tree profiling.

Maxim Shishmarev Christopher Mears Guido Tack Maria Garcia de la Banda

Published in: Constraints An Int. J. (2016)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
depth first search
branching factor
iterative deepening
tree search
b tree
sat solvers
binary search trees
computational complexity
root node
databases
particle swarm optimization
backtracking algorithm