Graph Search Trees and the Intermezzo Problem.
Jesse BeisegelEkkehard KöhlerFabienne RatajczakRobert SchefflerMartin StrehlerPublished in: MFCS (2024)
Keyphrases
- search tree
- depth first search
- root node
- search algorithm
- branch and bound algorithm
- branching factor
- b tree
- search space
- tree search
- binary search trees
- weighted graph
- spanning tree
- directed graph
- sat solvers
- symmetry breaking
- data analysis
- upper bound
- multi dimensional
- special case
- heuristic function
- relational databases
- database systems