A*
Admissibility and consistency
Proof of optimality
Memory-bounded search
Heuristic functions
Generating heuristics
Learning to search
Search in complex environments
Local search
Hill-climbing search
Simulated annealing
Local beam search
Genetic algorithms
Search with nondeterministic actions
AND-OR search
Search in partially observable environments