Recognizing Graph Search Trees.

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

Published in: LAGOS (2019)

Keyphrases

search tree
depth first search
root node
search algorithm
search space
tree search
branching factor
binary search trees
branch and bound algorithm
symmetry breaking
b tree
weighted graph
graph partitioning
directed graph
spanning tree
sat solvers
heuristic function
genetic algorithm