Graph Search Trees and the Intermezzo Problem.

Jesse Beisegel Ekkehard Köhler Fabienne Ratajczak Robert Scheffler Martin Strehler

Published in: CoRR (2024)

Keyphrases

search tree
depth first search
root node
search space
search algorithm
branch and bound algorithm
weighted graph
symmetry breaking
sat solvers
tree search
branching factor
b tree