Login / Signup
The Recognition Problem of Graph Search Trees.
Jesse Beisegel
Carolin Denkert
Ekkehard Köhler
Matjaz Krnc
Nevena Pivac
Robert Scheffler
Martin Strehler
Published in:
SIAM J. Discret. Math. (2021)
Keyphrases
</>
search tree
depth first search
root node
search space
search algorithm
sat solvers
branching factor
branch and bound algorithm
b tree
directed graph
tree search
weighted graph
symmetry breaking
feature selection
data distribution
special case
sat solving