Priority Search Trees.

Peter Lammich Tobias Nipkow

Published in: Arch. Formal Proofs (2019)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
b tree
symmetry breaking
branching factor
tree search
heuristic function
binary search trees
branch and bound
databases
root node
simulated annealing
lower bound
sat solvers
computational complexity
genetic algorithm
database