Skip to content
All tags

#constraint-satisfaction

2 posts

CSPs, AC-3, and Search Order | CMU 07-280 Lecture 4

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.

Choosing Minimax, Alpha-Beta, and Expectimax | Berkeley CS188 Topic Guide

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.