Keyphrases
- search tree
- depth first search
- branch and bound algorithm
- search algorithm
- search space
- distributed memory
- branching factor
- root node
- tree search
- iterative deepening
- sat solvers
- backtracking algorithm
- shared memory
- dead ends
- database systems
- sat solving
- game tree
- b tree
- orders of magnitude
- dynamic environments
- np complete
- multi dimensional
- computational complexity
- optimal solution