Keyphrases
- worst case analysis
- search algorithm
- average case
- satisfiability problem
- worst case
- backtracking search
- stochastic local search algorithms
- max sat
- search space
- heuristic search
- search strategies
- search problems
- greedy heuristic
- branch and bound
- np hardness
- sat solvers
- sat problem
- linear programming relaxation
- search tree
- phase transition
- search procedures
- constraint satisfaction problems
- path finding
- tree search
- np hard
- lower bound