Keyphrases
- systematic search algorithms
- search algorithm
- search tree
- search problems
- sat problem
- worst case
- satisfiability problem
- search space
- heuristic search
- running times
- external memory
- binary search trees
- orders of magnitude
- sat solvers
- search strategy
- search methods
- search strategies
- tree search
- sat instances
- branch and bound
- learning algorithm
- stochastic local search
- symmetry breaking
- hybrid algorithms
- data structure
- np complete
- arbitrary length