Static and dynamic variable sorting strategies for backtracking-based search algorithms.
Henry MüllerPublished in: W(C)LP (2005)
Keyphrases
- search algorithm
- search tree
- search strategies
- search space
- heuristic search
- ordering heuristics
- branch and bound
- search strategy
- tree search
- search methods
- backtracking search
- tabu search
- real time
- hill climbing
- dependency directed backtracking
- backtracking algorithms
- upper bound
- bayesian networks
- knowledge base
- optimal strategy
- information retrieval
- selection strategies
- search procedures
- machine learning