Differentially Encoded Search Trees.
Francisco ClaudePatrick K. NicholsonDiego SecoPublished in: DCC (2012)
Keyphrases
- search tree
- search algorithm
- search space
- branch and bound algorithm
- branching factor
- b tree
- binary search trees
- symmetry breaking
- root node
- tree search
- sat solvers
- database
- lower bound
- upper bound
- branch and bound
- sat solving
- evaluation function
- parallel algorithm
- state space
- objective function
- reinforcement learning
- databases