Recognizing Graph Search Trees.

Jesse Beisegel Carolin Denkert Ekkehard Köhler Matjaz Krnc Nevena Pivac Robert Scheffler Martin Strehler

Published in: CoRR (2018)

Keyphrases

search tree
depth first search
root node
search algorithm
search space
directed graph
branch and bound algorithm
tree search
spanning tree
symmetry breaking
sat solvers
branching factor
binary search trees
weighted graph
database
b tree
relational databases
information retrieval
databases