Lazy Search Trees.

Bryce Sandlund Sebastian Wild

Published in: CoRR (2020)

Keyphrases

search tree
search algorithm
search space
b tree
branching factor
branch and bound algorithm
sat solvers
tree search
symmetry breaking
branch and bound
root node
heuristic function
binary search trees
data structure
heuristic search
itemsets
management system