CMU 07-280 Lecture 4: CSPs, AC-3, and Search Order
Lecture 4 exposes structure through variables, domains, and constraints, then upgrades DFS with backtracking, forward checking, AC-3, MRV, and LCV; the goal is to prove failure earlier.
#constraint-satisfaction
2 postsCS188 CSPs and Multi-Agent Search: Choosing Minimax, Alpha-Beta, and Expectimax
Lectures 5–8 use CSPs to practice variables, constraints, and search order before Project 2 implements minimax, alpha-beta, and expectimax. Their key difference is the assumption made about other agents.