Keyphrases
- tree search
- constraint propagation
- branch and bound
- search algorithm
- game tree search
- mathematical programming
- search tree
- tree search algorithm
- iterative deepening
- depth first search
- state space
- path finding
- alpha beta
- search space
- game tree
- model checking
- data structure
- genetic algorithm
- shortest path
- database systems