) Using Reference Search Trees.

Daniel Raible Henning Fernau

Published in: ISAAC (2008)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
branching factor
b tree
tree search
symmetry breaking
sat solvers
database
similarity measure
heuristic function
sat solving
cost function
association rules
computational complexity
neural network