A Stabilizing Search Tree with Availability Properties.

Ted Herman Toshimitsu Masuzawa

Published in: ISADS (2001)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
branching factor
iterative deepening
b tree
sat solvers
depth first search
lower bound
root node
neural network
branch and bound
tree search
heuristic function
sat solving
orders of magnitude
multi dimensional
xml documents
reinforcement learning