Search Tree Debugging.

Helmut Simonis Abderrahmane Aggoun

Published in: JFPLC (1999)

Keyphrases

search tree
search algorithm
search space
depth first search
branch and bound algorithm
branching factor
binary search trees
b tree
tree search
sat solvers
root node
backtracking algorithm
database
iterative deepening
neural network
knn
lower bound
decision trees
genetic algorithm