- Iterative deepening depth first search
- Bidirectional graph search
- A* graph search with heuristics
- Hill climbing with restarts
- Simulated annealing
- Local beam search
- Genetic algorithm for optimization
- Minimax search
- Alpha beta pruning
- Monte Carlo tree search
- DPLL algorithm for SAT
- Backward chaining for Horn clauses
- Backtracking search for CSPs with MRV and LCV
- AC-3 arc consistency for CSPs
- Naive Bayes classifier
- Belief propagation in graphical models
- Particle filtering for state estimation
- Hidden Markov model inference
- Forward algorithm
- Forward backward algorithm
- Viterbi algorithm
- Markov decision processes
- Value iteration
- SARSA
- STRIPS planning