Indexing Graph Search Trees and Applications.
Sankardeep ChakrabortyKunihiko SadakanePublished in: CoRR (2019)
Keyphrases
- search tree
- depth first search
- root node
- search space
- search algorithm
- information retrieval
- database
- symmetry breaking
- branch and bound algorithm
- tree search
- branching factor
- b tree
- sat solvers
- weighted graph
- directed graph
- sat solving
- graph partitioning
- heuristic function
- query processing
- evolutionary algorithm
- high dimensional