18 items
State Space Search Formulation
Resolution: Automated Logical Inference
Genetic and Evolutionary Algorithms
Simulated Annealing
Hill Climbing and Its Limitations
Expectiminimax for Stochastic Games
Alpha-Beta Pruning
Adversarial Search: Minimax Algorithm
Weighted A* and Memory-Bounded Search
A* Search Algorithm
Greedy Best-First Search
Consistency (Monotonicity) of Heuristics
Heuristic Functions and Admissibility
Evaluating Search Algorithms
Iterative Deepening DFS
Uniform-Cost Search
Depth-First Search (DFS)
Uninformed Search: Breadth-First Search
Resolution proves a goal by negating it and deriving the empty clause from CNF knowledge.