On the recognition of search trees generated by BFS and DFS.

Robert Scheffler

Published in: Theor. Comput. Sci. (2022)

Keyphrases

search tree
depth first search
breadth first search
search algorithm
search space
branch and bound algorithm
tree search
branching factor
b tree
sat solvers
binary search trees
symmetry breaking
neural network
search strategy
constraint propagation
high dimensional
root node